diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 23:42:10 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 23:42:10 +0300 |
| commit | d6c171897be602151ef9ddeb0d725ee0d6b61b4c (patch) | |
| tree | 6d876fdd8e29506b97a299bc3c38f70c07198b23 /%HOME%/.bash_utils/path.sh | |
| parent | .bash_profile: clean up (diff) | |
| download | linux-home-d6c171897be602151ef9ddeb0d725ee0d6b61b4c.tar.gz linux-home-d6c171897be602151ef9ddeb0d725ee0d6b61b4c.zip | |
add comments
Diffstat (limited to '%HOME%/.bash_utils/path.sh')
| -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 |