.lib/sh/path.bash

Sun, 09 Jan 2022 15:17:13 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Sun, 09 Jan 2022 15:17:13 -0500
changeset 968
0db164e368c5
parent 687
.lib/bash/path.sh@17d2d3c6042e
permissions
-rw-r--r--

keep shell stuff in one place, distinguish by ext

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