diff --git a/home_external/.bashrc b/home_external/.bashrc index bf0e55c..6875a62 100644 --- a/home_external/.bashrc +++ b/home_external/.bashrc @@ -204,7 +204,7 @@ ex () } # BEGIN_KITTY_SHELL_INTEGRATION -if [[ -n "$KITTY_INSTALLATION_DIR" -a -e "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash" ]]; then +if [[ -n "$KITTY_INSTALLATION_DIR" && -e "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash" ]]; then source "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash"; fi # END_KITTY_SHELL_INTEGRATION