Guida avanzata di scripting Bash - Portale Posta DMI

Appendice A. Script aggiuntivi
# +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Another variable.
# This one may or may not be subject to variation.
# A bit like the small print.
CookiesON=$Cookie
# echo "cookie file is $CookiesON" # For debugging.
# echo "home is ${home}" # For debugging. Got caught with this one!
wopts()
{
echo "Enter options to pass to wget."
echo "It is assumed you know what you’re doing."
echo
echo "You can pass their arguments here too."
# That is to say, everything passed here is passed to wget.
read Wopts
# Read in the options to be passed to wget.
Woptions=" $Wopts"
# Assign to another variable.
# Just for fun, or something . . .
echo "passing options ${Wopts} to wget"
# Mainly for debugging.
# Is cute.
return
}
save_func()
{
echo "Settings will be saved."
if [ ! -d $savePath ]; then # See if directory exists.
mkdir $savePath # Create the directory to save things in
#+ if it isn’t already there.
fi
Flag=S
# Tell the final bit of code what to do.
# Set a flag since stuff is done in main.
return
}
usage() # Tell them how it works.
{
720