.lib/bash/path.sh

Sun, 20 Oct 2019 00:16:50 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Sun, 20 Oct 2019 00:16:50 -0500
changeset 810
de41d00d8344
parent 687
17d2d3c6042e
permissions
-rw-r--r--

switch from gundo to undotree

path-append() {
  if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
    PATH="${PATH:+"$PATH:"}$1"
    return 0
  fi
  return 1
}

path-prepend() {
  if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
    PATH="$1${PATH:+":$PATH"}"
    return 0
  fi
  return 1
}

mercurial