diff --git a/env.bash b/env.bash new file mode 100644 index 0000000..673f277 --- /dev/null +++ b/env.bash @@ -0,0 +1 @@ +add_path() { [[ ":$PATH:" != *":$1:"* ]] && export PATH="$1:$PATH" ; }