Guida avanzata di scripting Bash - Portale Posta DMI

${parametro?msg_err}
${parametro:?msg_err}
param6=123
a=${param6+xyz}
echo "a = $a" # a = xyz
Capitolo 9. Variabili riviste
Se parametro è impostato viene usato, altrimenti visualizza un messaggio d’errore (msg_err).
Le due forme sono quasi equivalenti. I : servono solo quando parametro è stato dichiarato, ma non
impostato. Come sopra.
Esempio 9-14. Sostituzione di parametro e messaggi d’errore
#!/bin/bash
# Verifica alcune delle variabili d’ambiente di sistema.
# È una buona misura preventiva.
# Se, per sempio, $USER, il nome dell’utente corrente, non è impostata,
#+ la macchina non può riconoscervi.
: ${HOSTNAME?} ${USER?} ${HOME?} ${MAIL?}
echo
echo "Il nome della macchina è $HOSTNAME."
echo "Tu sei $USER."
echo "La directory home è $HOME."
echo "La cartella di posta INBOX si trova in $MAIL."
echo
echo "Se leggete questo messaggio, vuol dire che"
echo "le variabili d’ambiente più importanti sono impostate."
echo
echo
# ------------------------------------------------------
# Il costrutto ${nomevariabile?} può verificare anche
#+ le variabili impostate in uno script.
QuestaVariabile=Valore-di-Questa-Variabile
# È da notare, en passant, che le variabili stringa possono contenere
#+ caratteri che non sono consentiti se usati nei loro nomi .
: ${QuestaVariabile?}
echo "Il valore di QuestaVariabile è $QuestaVariabile".
echo
echo
130