Guida avanzata di scripting Bash - Portale Posta DMI

$REPLY
$SECONDS
exit 0
Capitolo 9. Variabili riviste
È la variabile preimpostata quando non ne viene fornita alcuna a read. È utilizzabile anche con i
menu select. In questo caso, però, fornisce solo il numero che indica la variabile scelta, non il valore
della variabile.
#!/bin/bash
# reply.sh
# REPLY è la variabile preimpostata per il comando ’read’.
echo
echo -n "Qual’è la tua verdura preferita?"
read
echo "La tua verdura preferita è $REPLY."
# REPLY contiene il valore dell’ultimo "read" se e solo se
#+ non è stata indicata alcuna variabile.
echo
echo -n "Qual’è il tuo frutto preferito?"
read frutto
echo "Il tuo frutto preferito è $frutto."
echo "ma..."
echo "Il valore di \$REPLY è ancora $REPLY."
# $REPLY è ancora impostato al valore precedente perché
#+ la variabile $frutto contiene il nuovo valore letto con "read".
echo
exit 0
Numero di secondi trascorsi dall’inizio dell’esecuzione dello script.
#!/bin/bash
TEMPO_LIMITE=10
INTERVALLO=1
echo
echo "Premi Control-C per terminare prima di $TEMPO_LIMITE secondi."
echo
105