Guida avanzata di scripting Bash - Portale Posta DMI

anno=
Errore_Param () # Parametri da riga di comando errati.
{
echo "Utilizzo: ‘basename $0‘ [M]M/[G]G/AAAA [M]M/[G]G/AAAA"
echo " (la data deve essere successiva al 1/3/1600)"
exit $E_ERR_PARAM
}
Appendice A. Script aggiuntivi
Analizza_Data () # Analizza la data passata come parametro
#+ da riga di comando.
{
mese=${1%%/**}
gm=${1%/**} # Giorno e mese.
giorno=${gm#*/}
let "anno = ‘basename $1‘" # Non è un nome di un file,
#+ ma funziona ugualmente.
}
controlla_data () # Controlla la validità della(e) data(e)
#+ passate(e).
{
[ "$giorno" -gt "$GPM" ] || [ "$mese" -gt "$MPA" ] ||\
[ "$anno" -lt "$ANNORIF" ] && Errore_Param
# Esce dallo script se i valori sono errati.
# Impiego di "lista-or / lista-and".
#
# Esercizio: implementate una verifica più rigorosa.
}
toglie_zero_iniziale () # Toglie i possibili zeri iniziali
{ #+ dal giorno e dal mese
return ${1#0} #+ altrimenti Bash li interpreta
} #+ come valori ottali (POSIX.2, sez. 2.9.2.1).
tot_giorni () # Formula di Gauss:
{ # Giorni intercorrenti dal gennaio 3 1600
#+ alla data passata come parametro.
giorno=$1
mese=$2
anno=$3
let "mese = $mese - 2"
if [ "$mese" -le 0 ]
then
let "mese += 12"
let "anno -= 1"
618