Guida avanzata di scripting Bash - Portale Posta DMI

if [ $# -ne "$CONTOARG" ]
then
echo "Utilizzo: ‘basename $0‘ NOME-UTENTE"
exit $E_ERR_ARG
fi
Capitolo 23. Funzioni
ricerca () # Esamina il file alla ricerca del modello, quindi visualizza
#+ la parte rilevante della riga.
{
while read riga # "while" non necessariamente vuole la "[ condizione]"
do
echo "$riga" | grep $1 | awk -F":" ’{ print $5 }’ # awk deve usare
#+ i ":" come delimitatore.
done
}