PATH {/opt,$HOME}/tools

5 years ago · 3a1b30ed2a
1 changed files with 4 additions and 2 deletions
--- a/bash.bashrc
+++ b/bash.bashrc
@ -162,6 +162,8 @@ if [ -f ~/.bash_aliases ]; then
 fi

 # Add path to any tools folder in /opt/debian-*
-for i in /opt/debian-*/tools; do 
-	PATH=$PATH:$i
+for i in {/opt,$HOME}/debian-*/tools; do 
+	if [ -d "$i" ]; then 
+		PATH=$PATH:$i
+	fi
 done