Guida avanzata di scripting Bash - Portale Posta DMI

Capitolo 30. Opzioni
Le opzioni sono impostazioni che modificano il comportamento della shell e/o dello script.
Il comando set abilita le opzioni in uno script. Nel punto dello script da cui si vuole che le opzioni
abbiano effetto, si inserisce set -o nome-opzione oppure, in forma abbreviata, set -abbrev-opzione. Le
due forme si equivalgono.
#!/bin/bash
set -o verbose
# Visualizza tutti i comandi prima della loro esecuzione.
#!/bin/bash
set -v
# Identico effetto del precedente.
Nota: Per disabilitare un’opzione in uno script, si usa set +o nome-opzione o set +abbrev-opzione.
#!/bin/bash
set -o verbose
# Abilitata la visualizzazione dei comandi.
comando
...
comando
set +o verbose
# Visualizzazione dei comandi disabilitata.
comando
# Non visualizzato.
set -v
# Visualizzazione dei comandi abilitata.
527