Skip to content

Instantly share code, notes, and snippets.

@danielfalbo
Created September 17, 2025 06:17
Show Gist options
  • Save danielfalbo/5be226066684eb680798b081a940da98 to your computer and use it in GitHub Desktop.
Save danielfalbo/5be226066684eb680798b081a940da98 to your computer and use it in GitHub Desktop.
functions.sh
path_remove() {
PATH=$(echo -n "$PATH" | awk -v RS=: -v ORS=: "\$0 != \"$1\"" | sed 's/:$//')
}
path_append() {
path_remove "$1"
PATH="${PATH:+"$PATH:"}$1"
}
path_prepend() {
path_remove "$1"
PATH="$1${PATH:+":$PATH"}"
}
@danielfalbo
Copy link
Author

path_prepend "$HOME/bin"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment