Guida avanzata di scripting Bash - Portale Posta DMI

#+ che indica che il collegamento è riuscito.
Capitolo 29. Debugging
if [ ! -z "$ricerca" ] # Sono necessari gli apici per la possibile
#+ presenza di spazi.
then
echo "Collegato"
rm -f $FILETEMP # Cancella il file temporaneo.
exit $COLLEGATO
else
echo -n "." # L’opzione -n di echo sopprime il ritorno a capo,
#+ così si ottengono righe continue di punti.
fi
sleep 1
done
# Nota: se sostituite la variabile PAROLACHIAVE con "Exit",
#+ potete usare questo script per segnalare, mentre si è collegati,
#+ uno scollegamento inaspettato.
# Esercizio: Modificate lo script per ottenere quanto suggerito nella
# nota precedente, rendendolo anche più elegante.
exit 0
# Nick Drage ha suggerito un metodo alternativo:
while true
do ifconfig ppp0 | grep UP 1> /dev/null && echo "connesso" && exit 0
echo -n "." # Visualizza dei punti (.....) finché si è connessi.
sleep 2
done
# Problema: Può non bastare premere Control-C per terminare il processo.
#+ (La visualizzazione dei punti potrebbe continuare.)
# Esercizio: Risolvetelo.
# Stephane Chazelas ha un’altra alternativa ancora:
INTERVALLO=1
while ! tail -1 "$FILELOG" | grep -q "$PAROLACHIAVE"
do echo -n .
sleep $INTERVALLO
done
echo "Connesso"
# Esercizio: Discutete i punti di forza e i punti deboli
# di ognuno di questi differenti approcci.
521