Guida avanzata di scripting Bash - Portale Posta DMI

# "/4/i386/kernel-xen*"
# "/4/i386/xen-*"
)
Capitolo 12. Filtri, programmi e comandi esterni
init () {
# Consente alla pipe dei comandi di visualizzare eventuali errori
#+ di rsync, es. stalled network.
set -o pipefail
}
TMP=${TMPDIR:-/tmp}/${0##*/}.$$ # Registra la lista aggiornata
#+ del download.
trap "{
rm -f $TMP 2>/dev/null
}" EXIT # Cancella il file temporaneo
#+ all’uscita.
controlla_pid () {
# Verifica l’esistenza del processo.
if [ -s "$PID_FILE" ]; then
echo "Il file PID esiste?. Verifica ..."
PID=$(/bin/egrep -o "^[[:digit:]]+" $PID_FILE)
if /bin/ps --pid $PID &>/dev/null; then
echo "Trovato processo $PID. ${0##*/} in esecuzione!"
/usr/bin/logger -t ${0##*/} \
"Trovato processo $PID. ${0##*/} in esecuzione!"
exit $E_RETURN
fi
echo "Processo $PID non trovato. Inizio un nuovo processo . . ."
fi
}
# Imposta l’intervallo dell’aggiornamento completo iniziando da root o da $URL,
#+ secondo quanto specificato nei modelli precedenti.
imposta_intervallo () {
include=
esclude=
for p in "${INCLUDE[@]}"; do
include="$include --include \"$p\""
done
}
for p in "${ESCLUDE[@]}"; do
esclude="$esclude --exclude \"$p\""
done
# Recupera e perfeziona l’elenco di aggiornamento rsync.
crea_lista () {
echo $$ > $PID_FILE || {
307