PATH for debian-server if any

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

-#PATH=$HOME/.bin:$HOME/DEV/debian-server:$PATH
 PATH=$PATH:/opt/debian-bash/tools
+
+if [ -d /opt/debian-server ]; then
+	PATH=$PATH:/opt/debian-server/tools
+fi