bash_profile: Safety

Author: Artoria2e5

skel/.bash_profile

@@ -12,24 +12,19 @@
 append () {
   # First remove the directory
   local IFS=':'
-  local NEWPATH
+  local NEWPATH DIR
   for DIR in $PATH; do
      if [ "$DIR" != "$1" ]; then
-       NEWPATH=${NEWPATH:+$NEWPATH:}$DIR
+       NEWPATH="${NEWPATH:+$NEWPATH:}$DIR"
      fi
   done
   # Then append the directory
-  export PATH=$NEWPATH:$1
+  export PATH="$NEWPATH:$1"
 }
 
 if [ -f "$HOME/.bashrc" ] ; then
   source $HOME/.bashrc
 fi
 
-if [ -d "$HOME/bin" ] ; then
-  append $HOME/bin
-fi
-
-unset append
 
 # End ~/.bash_profile