Guida avanzata di scripting Bash - Portale Posta DMI

Appendice A. Script aggiuntivi
it."
read Cookies
# NB: this is not the same as Cookie, earlier.
# There is an ’s’ on the end.
# Bit like chocolate chips.
if [ -z "$Cookies" ]; then # Escape clause for wusses.
return
elif [ ! -e "$Cookies" ]; then
echo "File does not exist. Try again." # Keep em going . . .
else
CookiesON=" --load-cookies $Cookies" # File is good -- let’s use it!
return
fi
done
}
run_func()
{
if [ -z "$OPTARG" ]; then
# Test to see if we used the in-line option or the query one.
if [ ! -d "$savePath" ]; then # In case directory doesn’t exist . . .
echo "$savePath does not appear to exist."
echo "Please supply path and filename of saved wget commands:"
read newFile
until [ -f "$newFile" ]; do # Keep going till we get something.
echo "Sorry, that file does not exist. Please try again."
# Try really hard to get something.
read newFile
done
# -------------------------------------------------------------------------
# if [ -z ( grep wget ${newfile} ) ]; then
# Assume they haven’t got the right file and bail out.
# echo "Sorry, that file does not contain wget commands. Aborting."
# exit
# fi
#
# This is bogus code.
# It doesn’t actually work.
# If anyone wants to fix it, feel free!
# -------------------------------------------------------------------------
filePath="${newFile}"
else
echo "Save path is $savePath"
echo "Please enter name of the file which you want to use."
echo "You have a choice of:"
ls $savePath # Give them a choice.
read inFile
722