From d6c171897be602151ef9ddeb0d725ee0d6b61b4c Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Mon, 4 Jun 2018 23:42:10 +0300 Subject: add comments --- %HOME%/.bash_utils/path.sh | 4 ++++ 1 file changed, 4 insertions(+) (limited to '%HOME%/.bash_utils') 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 -- cgit v1.2.3