From e6c05c97395b1f0efd4d6f3212d952effa426d7d Mon Sep 17 00:00:00 2001
From: fabian <accounts.pet@szimnau.de>
Date: Sun, 5 Mar 2023 15:11:52 +0100
Subject: [PATCH] disallow short-circuit code evaluation

---
 home_external/.bashrc | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/home_external/.bashrc b/home_external/.bashrc
index f897189..bf0e55c 100644
--- a/home_external/.bashrc
+++ b/home_external/.bashrc
@@ -204,11 +204,15 @@ ex ()
 }
 
 # BEGIN_KITTY_SHELL_INTEGRATION
-if test -n "$KITTY_INSTALLATION_DIR" -a -e "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash"; then source "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash"; fi
+if [[ -n "$KITTY_INSTALLATION_DIR" -a -e "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash" ]]; then
+   source "$KITTY_INSTALLATION_DIR/shell-integration/bash/kitty.bash";
+fi
 # END_KITTY_SHELL_INTEGRATION
 
 #THIS MUST BE AT THE END OF THE FILE FOR SDKMAN TO WORK!!!
 export SDKMAN_DIR="$HOME/.sdkman"
-[[ -s "$HOME/.sdkman/bin/sdkman-init.sh" ]] && source "$HOME/.sdkman/bin/sdkman-init.sh"
+if [[ -s "$HOME/.sdkman/bin/sdkman-init.sh" ]]; then
+   source "$HOME/.sdkman/bin/sdkman-init.sh"
+fi
 
 export PATH=$PATH:/sync/scripts