Revision 1446566f ide/idesetup.sh
ide/idesetup.sh | ||
---|---|---|
346 | 346 |
fi |
347 | 347 |
printf "\n" |
348 | 348 |
|
349 |
# if --help or -h was specified, print the help text and exit |
|
350 |
if [[ $@ == *"--help"* || $@ == *"-h"* ]]; then |
|
351 |
printHelp |
|
352 |
printf "\n" |
|
353 |
quitScript |
|
354 |
fi |
|
355 |
|
|
349 | 356 |
# set log file if specified |
350 | 357 |
if [[ $@ == *"--log"* ]] || [[ $@ == *"--LOG"* ]]; then |
351 | 358 |
# get the parameter (file name) |
... | ... | |
369 | 376 |
printf "\n" |
370 | 377 |
fi |
371 | 378 |
fi |
372 |
|
|
373 | 379 |
# log script name |
374 | 380 |
printLog "this is $(realpath ${BASH_SOURCE[0]})\n" |
375 | 381 |
|
376 |
# if --help or -h was specified, print the help text and exit |
|
377 |
if [[ $@ == *"--help"* || $@ == *"-h"* ]]; then |
|
378 |
printHelp |
|
379 |
printf "\n" |
|
380 |
quitScript |
|
381 |
fi |
|
382 |
|
|
383 | 382 |
# parse arguments |
384 | 383 |
local otherargs=() |
385 | 384 |
while [ $# -gt 0 ]; do |
Also available in: Unified diff