From c275bfefe555cf32039ee865cd96dfcf7ffa3f35 Mon Sep 17 00:00:00 2001 From: Andrew Rogers Date: Mon, 16 Oct 2023 22:08:26 -0500 Subject: [PATCH] [NEW] env.bash: new add_path helper --- env.bash | 1 + 1 file changed, 1 insertion(+) create mode 100644 env.bash 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" ; }