Skip to content

Instantly share code, notes, and snippets.

@yasuoohno

yasuoohno/addpath.sh

Created April 18, 2018 06:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save yasuoohno/3ac4590fb85a20e60465ce9d1f929bcf to your computer and use it in GitHub Desktop.
Save yasuoohno/3ac4590fb85a20e60465ce9d1f929bcf to your computer and use it in GitHub Desktop.
Download ZIP
Raw
addpath.sh
#
# add path if the path is not exist.
#
function addpath() {
if echo ":$PATH:" | fgrep -q -s -v ":$1:" && [ -d "$1" ] ; then
PATH="$1:$PATH"
fi
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment