.lib/bash/path.sh

Mon, 10 Aug 2020 17:51:44 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Mon, 10 Aug 2020 17:51:44 -0500
changeset 881
a5b3b7b6850c
parent 687
17d2d3c6042e
permissions
-rw-r--r--

mergetool fixes

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