From e50238789a6cccd5890a99f911bd1f0e05d9bed2 Mon Sep 17 00:00:00 2001 From: fabian Date: Thu, 18 Aug 2022 22:32:31 +0200 Subject: [PATCH] change: added scripts directory to PATH --- home_external/.bashrc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/home_external/.bashrc b/home_external/.bashrc index 5ffc175..386b07d 100644 --- a/home_external/.bashrc +++ b/home_external/.bashrc @@ -214,3 +214,5 @@ if test -n "$KITTY_INSTALLATION_DIR" -a -e "$KITTY_INSTALLATION_DIR/shell-integr #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" + +export PATH=$PATH:/sync/scripts