Guida avanzata di scripting Bash - Portale Posta DMI

}
msg=nomefile
else
msg=$@
fi
echo "Utilizzo: ‘basename $0‘ "$msg""
Capitolo 33. Miscellanea
Controlla_root () # Controlla se è root ad eseguire lo script.
{ # Dall’esempio "ex39.sh".
if [ "$UID" -ne "$UID_ROOT" ]
then
echo "Devi essere root per eseguire questo script."
exit $E_NONROOT
fi
}
CreaNomeFileTemp () # Crea un file temporaneo con nome "unico".
{ # Dall’esempio "ex51.sh".
prefisso=temp
suffisso=‘eval date +%s‘
Nomefiletemp=$prefisso.$suffisso
}
isalpha2 () # Verifica se l’*intera stringa* è formata da
#+ caratteri alfabetici.
{ # Dall’esempio "isalpha.sh".
[ $# -eq 1 ] || return $INSUCCESSO
}
case $1 in
*[!a-zA-Z]*|"") return $INSUCCESSO;;
*) return $SUCCESSO;;
esac # Grazie, S.C.
abs () # Valore assoluto.
{ # Attenzione: Valore di ritorno massimo = 255.
E_ERR_ARG=-999999
if [ -z "$1" ] # È necessario passare un argomento.
then
return $E_ERR_ARG # Ovviamente viene restituito il
#+ codice d’errore.
fi
if [ "$1" -ge 0 ] # Se non negativo,
then #
valass=$1 # viene preso così com’è.
else # Altrimenti,
574