Miscellany

#!/bin/bashwhile [ "$1" ]do case "$1" in  --help)    display_help             shift             ;;  --file)    FILENAME="$2"             shift 2             ;;  *)         display_help             exit 1             ;; esacdone