3 581
contributi
Bash scripting - comandi essenziali: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m
Bash scripting - comandi essenziali (visualizza wikitesto)
Versione delle 17:50, 31 lug 2014
, 31 lug 2014nessun oggetto della modifica
(aggiunta parte per sovrascrivere echo, spostate le condizioni avanzate) |
mNessun oggetto della modifica |
||
| Riga 155: | Riga 155: | ||
<pre> | <pre> | ||
# Controlla che la variabile sia un intero non negativo | # Controlla che la variabile sia un intero non negativo | ||
[ "$var" -ge 0 ] 2> /dev/null | [ "$var" -ge 0 ] 2> /dev/null # non stampa errori se $var non è un intero | ||
# Controlla che la variabile sia un intero qualsiasi | |||
[ "$var" -eq "$var" ] 2> /dev/null # fallisce solo se $var non è intero | |||
</pre> | </pre> | ||