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 | |
| parent | .bash_profile: clean up (diff) | |
| download | linux-home-d6c171897be602151ef9ddeb0d725ee0d6b61b4c.tar.gz linux-home-d6c171897be602151ef9ddeb0d725ee0d6b61b4c.zip | |
add comments
| -rw-r--r-- | %HOME%/.bash_utils/path.sh | 4 | ||||
| -rw-r--r-- | %HOME%/.bashrc | 5 | ||||
| -rw-r--r-- | %HOME%/.profile | 5 |
3 files changed, 14 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 diff --git a/%HOME%/.bashrc b/%HOME%/.bashrc index 7df126d..d0a0d1e 100644 --- a/%HOME%/.bashrc +++ b/%HOME%/.bashrc @@ -1,3 +1,8 @@ +# Copyright (c) 2018 Egor Tensin <Egor.Tensin@gmail.com> +# This file is part of the "Linux/Cygwin environment" project. +# For details, see https://github.com/egor-tensin/linux-home. +# Distributed under the MIT License. + case "$-" in *i*) ;; *) return ;; diff --git a/%HOME%/.profile b/%HOME%/.profile index b1e7153..94a3201 100644 --- a/%HOME%/.profile +++ b/%HOME%/.profile @@ -1,3 +1,8 @@ +# Copyright (c) 2018 Egor Tensin <Egor.Tensin@gmail.com> +# This file is part of the "Linux/Cygwin environment" project. +# For details, see https://github.com/egor-tensin/linux-home. +# Distributed under the MIT License. + if command -v vim > /dev/null 2>&1; then export EDITOR=vim elif command -v nano > /dev/null 2>&1; then |