diff options
Diffstat (limited to '')
| -rw-r--r-- | %HOME%/.bash_utils/path.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/%HOME%/.bash_utils/path.sh b/%HOME%/.bash_utils/path.sh index 48b840e..d371ff3 100644 --- a/%HOME%/.bash_utils/path.sh +++ b/%HOME%/.bash_utils/path.sh @@ -5,6 +5,10 @@ # For details, see https://github.com/egor-tensin/linux-home. # Distributed under the MIT License. +# These are a couple of routines that allow you to add to your $PATH correctly +# and safely. Originally added as a dependency for other routines, currently +# are unused. TODO: remove? + path_add() ( set -o errexit -o nounset -o pipefail |