diff --git a/userprofiles/pl/.bash_paths b/userprofiles/pl/.bash_paths index 9dcd899..29a8dd1 100644 --- a/userprofiles/pl/.bash_paths +++ b/userprofiles/pl/.bash_paths @@ -1,4 +1,18 @@ ### CUSTOM PATH BASH FILE ### -# Persönliches bin-Verzeichnis -export PATH="$HOME/bin:$PATH" +# ~/bin und ~/.local/bin vorne anhängen, falls vorhanden +if [ -d "$HOME/bin" ]; then + case ":$PATH:" in + *":$HOME/bin:"*) : ;; + *) PATH="$HOME/bin:$PATH" ;; + esac +fi + +if [ -d "$HOME/.local/bin" ]; then + case ":$PATH:" in + *":$HOME/.local/bin:"*) : ;; + *) PATH="$HOME/.local/bin:$PATH" ;; + esac +fi + +export PATH