aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/%HOME%/.bash_utils
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2018-06-04 23:42:10 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2018-06-04 23:42:10 +0300
commitd6c171897be602151ef9ddeb0d725ee0d6b61b4c (patch)
tree6d876fdd8e29506b97a299bc3c38f70c07198b23 /%HOME%/.bash_utils
parent.bash_profile: clean up (diff)
downloadlinux-home-d6c171897be602151ef9ddeb0d725ee0d6b61b4c.tar.gz
linux-home-d6c171897be602151ef9ddeb0d725ee0d6b61b4c.zip
add comments
Diffstat (limited to '')
-rw-r--r--%HOME%/.bash_utils/path.sh4
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