.lib/sh/path.bash

Sun, 05 Mar 2023 20:36:54 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Sun, 05 Mar 2023 20:36:54 -0500
changeset 1065
23229c179f82
parent 968
0db164e368c5
permissions
-rw-r--r--

I can just repeat

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