Guida avanzata di scripting Bash - Portale Posta DMI

Appendice A. Script aggiuntivi
until [ -f "$savePath/$inFile" ]; do # Keep going till we get something.
if [ ! -f "${savePath}/${inFile}" ]; then # If file doesn’t exist.
echo "Sorry, that file does not exist. Please choose from:"
ls $savePath # If a mistake is made.
read inFile
fi
done
filePath="${savePath}/${inFile}" # Make one variable . . .
fi
else filePath="${savePath}/${OPTARG}" # Which can be many things . . .
fi
if [ ! -f "$filePath" ]; then # If a bogus file got through.
echo "You did not specify a suitable file."
echo "Run this script with the -${save} option first."
echo "Aborting."
exit $E_NO_SAVEFILE
fi
echo "Using: $filePath"
while read; do
eval $REPLY
echo "Completed: $REPLY"
done < $filePath # Feed the actual file we are using into a ’while’ loop.
exit
}
# Fish out any options we are using for the script.
# This is based on the demo in "Learning The Bash Shell" (O’Reilly).
while getopts ":$save$cook$help$list$runn:$inpu$wopt" opt
do
case $opt in
$save) save_func;; # Save some wgetter sessions for later.
$cook) cookie_func;; # Change cookie file.
$help) usage;; # Get help.
$list) list_func;; # Allow wget to use a list of URLs.
$runn) run_func;; # Useful if you are calling wgetter from, for example,
#+ a cron script.
$inpu) run_func;; # When you don’t know what your files are named.
$wopt) wopts;; # Pass options directly to wget.
\?) echo "Not a valid option."
echo "Use -${wopt} if you want to pass options directly to wget,"
echo "or -${help} for help";; # Catch anything else.
esac
done
shift $((OPTIND - 1)) # Do funky magic stuff with $#.
if [ -z "$1" ] && [ -z "$lister" ]; then
# We should be left with at least one URL
#+ on the command line, unless a list is
723