Guida avanzata di scripting Bash - Portale Posta DMI

# Salva lo stdout.
exec > $FILELOG # stdout sostituito dal file "filelog.txt".
Capitolo 16. Redirezione I/O
# ----------------------------------------------------------------------- #
# Tutti i risultati dei comandi inclusi in questo blocco di codice vengono
#+ inviati al file $FILELOG.
echo -n "File di log: "
date
echo "-------------------------------------"
echo
echo "Output del comando \"ls -al\""
echo
ls -al
echo; echo
echo "Output del comando \"df\""
echo
df
# ----------------------------------------------------------------------- #
exec 1>&6 6>&- # Ripristina lo stdout e chiude il descrittore di file nr.6.
echo
echo "== ripristinato lo stdout alla funzionalità di default == "
echo
ls -al
echo
exit 0
Esempio 16-3. Redirigere, nello stesso script, sia lo stdin che lo stdout con exec
#!/bin/bash
# upperconv.sh
# Converte in lettere maiuscole il testo del file di input specificato.
E_ACCESSO_FILE=70
E_ERR_ARG=71
if [ ! -r "$1" ] # Il file specificato ha i permessi in lettura?
then
echo "Non riesco a leggere il file di input!"
echo "Utilizzo: $0 file-input file-output"
exit $E_ACCESSO_FILE
fi # Esce con lo stesso errore anche quando non viene
#+ specificato il file di input $1 (perché?).
if [ -z "$2" ]
then
399