Guida avanzata di scripting Bash - Portale Posta DMI

}
Appendice A. Script aggiuntivi
echo "Welcome to wgetter. This is a front end to wget."
echo "It will always run wget with these options:"
echo "$CommandA"
echo "and the pattern to match: $pattern (which you can change at the top of this script
echo "It will also ask you for recursion depth, and if you want to use a referring page.
echo "Wgetter accepts the following options:"
echo ""
echo "-$help : Display this help."
echo "-$save : Save the command to a file $savePath/wget-($today) instead of running it.
echo "-$runn : Run saved wget commands instead of starting a new one --"
echo "Enter filename as argument to this option."
echo "-$inpu : Run saved wget commands interactively --"
echo "The script will ask you for the filename."
echo "-$cook : Change the cookies file for this session."
echo "-$list : Tell wget to use URL’s from a list instead of from the command line."
echo "-$wopt : Pass any other options direct to wget."
echo ""
echo "See the wget man page for additional options you can pass to wget."
echo ""
exit $E_USAGE # End here. Don’t process anything else.
list_func() # Gives the user the option to use the -i option to wget,
#+ and a list of URLs.
{
while [ 1 ]; do
echo "Enter the name of the file containing URL’s (press q to change your
mind)."
read urlfile
if [ ! -e "$urlfile" ] && [ "$urlfile" != q ]; then
# Look for a file, or the quit option.
echo "That file does not exist!"
elif [ "$urlfile" = q ]; then # Check quit option.
echo "Not using a url list."
return
else
echo "using $urlfile."
echo "If you gave me url’s on the command line, I’ll use those first."
# Report wget standard behaviour to the user.
lister=" -i $urlfile" # This is what we want to pass to wget.
return
fi
done
}
cookie_func() # Give the user the option to use a different cookie file.
{
while [ 1 ]; do
echo "Change the cookies file. Press return if you don’t want to change
721