diff options
Diffstat (limited to '')
| -rw-r--r-- | %HOME%/.bash_utils/path.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/%HOME%/.bash_utils/path.sh b/%HOME%/.bash_utils/path.sh index 58707f4..27564fb 100644 --- a/%HOME%/.bash_utils/path.sh +++ b/%HOME%/.bash_utils/path.sh @@ -5,10 +5,6 @@ # 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 shopt -s inherit_errexit 2> /dev/null || true |