KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Yet another try to get zsh to de-dup $PATH

Browse Source
This commit is contained in:
Kovid Goyal 2022-04-18 07:40:37 +05:30
parent 339af1b4b2
commit be0a524e23
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
shell-integration/zsh/kitty-integration
View File

@ -376,7 +376,7 @@ _ksi_deferred_init() {
fi fi
builtin unfunction _ksi_s_is_ok builtin unfunction _ksi_s_is_ok
# Ensure PATH has no duplicate entries # Ensure PATH has no duplicate entries
builtin typeset -U path PATH builtin typeset -gxU PATH="$PATH"
fi fi
builtin unset KITTY_IS_CLONE_LAUNCH KITTY_CLONE_SOURCE_STRATEGIES builtin unset KITTY_IS_CLONE_LAUNCH KITTY_CLONE_SOURCE_STRATEGIES