Skip to content

Instantly share code, notes, and snippets.

@waynerobinson
Created June 7, 2016 01:41
Show Gist options
  • Save waynerobinson/3428f1c7b424cd887da4a18998c668b2 to your computer and use it in GitHub Desktop.
Save waynerobinson/3428f1c7b424cd887da4a18998c668b2 to your computer and use it in GitHub Desktop.
while [[ $# > 1 ]]
do
key="$1"
case $key in
-e|--extension)
EXTENSION="$2"
shift # past argument
;;
-s|--searchpath)
SEARCHPATH="$2"
shift # past argument
;;
-l|--lib)
LIBPATH="$2"
shift # past argument
;;
--default)
DEFAULT=YES
;;
*)
# unknown option
;;
esac
shift # past argument or value
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment