# HG changeset patch
# User Augie Fackler <raf@durin42.com>
# Date 1593527775 14400
# Node ID c85072e620a815fa702acc6470ca7736d6d0fb15
# Parent  9fd2345d35e04c8e438109c6f66485a6ab4bc198
append_path_element: new function that I've had for a while

diff --git a/.shell.d/00.path_manipulation.sh b/.shell.d/00.path_manipulation.sh
--- a/.shell.d/00.path_manipulation.sh
+++ b/.shell.d/00.path_manipulation.sh
@@ -33,3 +33,7 @@ function remove_element_from_var() {
     echo $1 not in $varname
   fi
 }
+
+function append_path_element() {
+    export PATH="${PATH}:$1"
+}