From be0a524e2371d387fe6cd3cebee45048214c7cf9 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 18 Apr 2022 07:40:37 +0530 Subject: [PATCH] Yet another try to get zsh to de-dup $PATH --- shell-integration/zsh/kitty-integration | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shell-integration/zsh/kitty-integration b/shell-integration/zsh/kitty-integration index 7db7a318e..2433b8ea3 100644 --- a/shell-integration/zsh/kitty-integration +++ b/shell-integration/zsh/kitty-integration @@ -376,7 +376,7 @@ _ksi_deferred_init() { fi builtin unfunction _ksi_s_is_ok # Ensure PATH has no duplicate entries - builtin typeset -U path PATH + builtin typeset -gxU PATH="$PATH" fi builtin unset KITTY_IS_CLONE_LAUNCH KITTY_CLONE_SOURCE_STRATEGIES