# shellcheck shell=bash # Helper functions to safely modify PATH # Both check that the directory exists AND prevent duplicates on re-source # Append directory to PATH (lower priority than existing entries) path_append() { [[ -d "$1" ]] && [[ ":$PATH:" != *":$1:"* ]] && PATH="$PATH:$1" } # Prepend directory to PATH (higher priority than existing entries) path_prepend() { [[ -d "$1" ]] && [[ ":$PATH:" != *":$1:"* ]] && PATH="$1:$PATH" }