Skip to content

Instantly share code, notes, and snippets.

@mapio

mapio/set_path.sh

Created October 21, 2012 23:30
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 mapio/3928930 to your computer and use it in GitHub Desktop.
Save mapio/3928930 to your computer and use it in GitHub Desktop.
Download ZIP
Setup the DI LabProg path
Raw
set_path.sh
if [ -z $BASH ]; then exit; fi;
if ! grep -q 'export PATH=/users/ms000123/dbin:' 2>/dev/null ~/.bash_profile; then
( echo;
echo '# Definizione del PATH per il laboratorio di programmazione...';
echo 'export PATH=/users/ms000123/dbin:$PATH';
echo '# non rimuovere questa e le due righe precedenti!';
echo ) >> ~/.bash_profile;
export PATH=/users/ms000123/dbin:$PATH;
fi
@mapio
Copy link
Author

mapio commented Oct 25, 2012

Use as:

 eval $(curl -sL http://git.io/qiT8ig)

in bash.

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