erik/sdkman-for-fish
erik/sdkman-for-fish
1
0
Fork 0
mirror of https://github.com/ethauvin/sdkman-for-fish.git synced 2025-04-25 05:17:11 -07:00
Code Issues Projects Releases Packages Wiki Activity Actions

Re-initialize if current user changed.

Browse source 
Fixes issue #25; assumes that every user has their own SDKMAN installation.
This commit is contained in:
Raphael Reitzig 2019-01-06 18:05:44 +01:00
parent 083d2d3d9b
commit dccaf0056c
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
conf.d/sdk.fish
View file

@ -74,9 +74,10 @@ function __fish_sdkman_run_in_bash
return $sdkStatus
end
# If this is a subshell of a(n initialized) fish, no initialization
# necessary. Otherwise:
if not set -q SDKMAN_DIR
# If this is a subshell of a(n initialized) fish owned by the same user,
# no initialization necessary.
# Otherwise:
if not set -q SDKMAN_DIR; or test (stat -c "%U" $SDKMAN_DIR) != (whoami)
__fish_sdkman_run_in_bash "source $__fish_sdkman_init"
end