Guida avanzata di scripting Bash - Portale Posta DMI

then
echo "Utilizzo: ‘basename $0‘ vecchio-nome nuovo-nome nomefile"
exit $E_ERR_ARG
fi
vecchio_nome=$1
nuovo_nome=$2
if [ -f "$3" ]
then
nome_file=$3
else
echo "Il file \"$3\" non esiste."
exit $E_ERR_ARG
fi
# Ecco dove viene svolto il lavoro principale.
# ----------------------------------------------sed
-e "s/$vecchio_nome/$nuovo_nome/g" $nome_file
# -----------------------------------------------
Capitolo 33. Miscellanea
# ’s’ è, naturalmente, il comando sed di sostituzione,
#+ e /modello/ invoca la ricerca di corrispondenza.
# L’opzione "g", o globale, provoca la sostituzione di *tutte*
#+ le occorrenze di $vecchio_nome in ogni riga, non solamente nella prima.
# Leggete i testi riguardanti ’sed’ per una spiegazione più approfondita.
exit 0 # Lo script invocato con successo restituisce 0.
Esempio 33-3. Uno shell wrapper generico che effettua una registrazione in un file di log
#!/bin/bash
# Uno shell wrapper generico che effettua una/delle operazione/i
#+ registrandola/e in un file di log.
# Si devono impostare le variabili seguenti.
OPERAZIONE=
# Può essere una serie complessa di comandi,
#+ per esempio uno script awk o una pipe . . .
LOGFILE=
# File di log.
OPZIONI="$@"
# Argomenti da riga di comando, se ce ne fossero, per operazione.
# Registrazione.
echo "‘date‘ + ‘whoami‘ + $OPERAZIONE "$@"" >> $LOGFILE
# Ora l’esecuzione.
exec $OPERAZIONE "$@"
548