From 3a1b30ed2a04d2ed47e22fb3391aca09ce5f72cf Mon Sep 17 00:00:00 2001 From: pvincent Date: Sun, 29 Sep 2019 21:03:08 +0400 Subject: [PATCH] PATH {/opt,$HOME}/tools --- bash.bashrc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/bash.bashrc b/bash.bashrc index 177f66a..6e4388d 100644 --- 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