Skip to content

Instantly share code, notes, and snippets.

@mburr
Created June 2, 2014 20:11
Show Gist options
  • Select an option

  • Save mburr/4401de5cabcdee24aef8 to your computer and use it in GitHub Desktop.

Select an option

Save mburr/4401de5cabcdee24aef8 to your computer and use it in GitHub Desktop.

Revisions

  1. mburr created this gist Jun 2, 2014.
    6 changes: 6 additions & 0 deletions addpath
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,6 @@
    function addpath() {
    if [[ ":$PATH:" != *":$1:"* ]]; then
    PATH="${PATH:+"$PATH:"}$1"
    export PATH
    fi
    }