11.04.2013 Views

Guida avanzata di scripting Bash - Portale Posta DMI

Guida avanzata di scripting Bash - Portale Posta DMI

Guida avanzata di scripting Bash - Portale Posta DMI

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

${parametro=default}<br />

${parametro:=default}<br />

Se parametro non è impostato, viene impostato al valore fornito da default.<br />

Capitolo 9. Variabili riviste<br />

Le due forme sono quasi equivalenti. I : servono solo quando $parametro è stato <strong>di</strong>chiarato, ma non<br />

impostato, 4 come visto in precedenza.<br />

echo ${nomeutente=‘whoami‘}<br />

# La variabile "nomeutente" è stata ora impostata con ‘whoami‘.<br />

${parametro+altro_valore}<br />

${parametro:+altro_valore}<br />

Se parametro è impostato, assume altro_valore, altrimenti viene impostato come stringa nulla.<br />

Le due forme sono quasi equivalenti. I : servono solo quando parametro è stato <strong>di</strong>chiarato, ma non<br />

impostato. Ve<strong>di</strong> sopra.<br />

echo "###### \${parametro+altro_valore} ########"<br />

echo<br />

a=${param1+xyz}<br />

echo "a = $a" # a =<br />

param2=<br />

a=${param2+xyz}<br />

echo "a = $a" # a = xyz<br />

param3=123<br />

a=${param3+xyz}<br />

echo "a = $a" # a = xyz<br />

echo<br />

echo "###### \${parametro:+altro_valore} ########"<br />

echo<br />

a=${param4:+xyz}<br />

echo "a = $a" # a =<br />

param5=<br />

a=${param5:+xyz}<br />

echo "a = $a" # a =<br />

# Risultato <strong>di</strong>verso da a=${param5+xyz}<br />

129

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!