Advertisement
Guest User

Untitled

a guest
Jul 16th, 2019
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.38 KB | None | 0 0
  1. #!/bin/bash
  2. for i in "$@"
  3. do
  4. case $i in
  5. -p=*|--password=*)
  6. PASSWORD="${i#*=}"
  7.  
  8. ;;
  9. -s=*|--servername=*)
  10. SERVERNAME="${i#*=}"
  11. ;;
  12. -l=*|--lib=*)
  13. DIR="${i#*=}"
  14. ;;
  15. --default)
  16. DEFAULT=YES
  17. ;;
  18. *)
  19. # unknown option
  20. ;;
  21. esac
  22. done
  23. echo PREFIX = ${PREFIX}
  24. echo SEARCH PATH = ${SEARCHPATH}
  25. echo DIRS = ${DIR}
  26. echo DEFAULT = ${DEFAULT}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement