PATH manipulation functions, put into rc file

util.zsh

# Prepend a segment to the path (takes priority).
prepend_PATH() {
    export PATH="$1:$PATH"
}

# Append something to your PATH (current PATH takes priority).
append_PATH() {
    export PATH="$PATH:$1"
}

# Delete some part of the path based on a search string.
# https://unix.stackexchange.com/questions/108873/removing-a-directory-from-path
delete_from_PATH() {
    local search="$1"
    export PATH=`echo $PATH | tr ":" "\n" | grep -v "$search" | tr "\n" ":"`
}