Guida avanzata di scripting Bash - Portale Posta DMI

toglie_zero_iniziale $giorno
giorno=$?
toglie_zero_iniziale $mese
mese=$?
data2=$(tot_giorni $giorno $mese $anno) # Sostituzione di comando.
calcola_differenza $data1 $data2
Appendice A. Script aggiuntivi
abs $diff # Si accerta che sia positiva.
diff=$valore
echo $diff
exit 0
# Confrontate questo script con
#+ l’implementazione della Formula di Gauss in un programma in C presso:
#+ http://buschencrew.hypermart.net/software/datedif
Esempio A-8. Creare un “dizionario”
#!/bin/bash
# makedict.sh [crea un dizionario]
# Modifica dello script /usr/sbin/mkdict.
# Script originale copyright 1993, di Alec Muffett.
#
# Lo script modificato incluso nel presente documento si conforma solo
#+ fino a un certo punto con la "LICENSE" document of the "Crack" del pacchetto
#+ a cui lo script originale appartiene.
# Lo script elabora file di testo e produce un elenco ordinato
#+ delle parole trovate nel(i) file.
# Può essere utile per la compilazione di dizionari
#+ e per ricerche lessicografiche.
E_ERR_ARG=65
if [ ! -r "$1" ] # Occorre almeno un
then #+ argomento valido.
echo "Utilizzo: $0 file-da-elaborare"
exit $E_ERR_ARG
fi
# SORT="sort" # Non più necessario per definire
#+ le opzioni di sort.
#+ Modifica allo script originale.
620