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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

echo "Occorre specificare un file <strong>di</strong> output."<br />

echo "Utilizzo: $0 file-input file-output"<br />

exit $E_ERR_ARG<br />

fi<br />

exec 4&1<br />

exec > $2 # Per scrivere nel file <strong>di</strong> output.<br />

# Nell’ipotesi che il file <strong>di</strong> output abbia i permessi<br />

#+ <strong>di</strong> scrittura (aggiungiamo una verifica?).<br />

# ---------------------------------------------------------cat<br />

- | tr a-z A-Z # Conversione in lettere maiuscole.<br />

# ^^^^^ # Legge dallo st<strong>di</strong>n.<br />

# ^^^^^^^^^^ # Scrive sullo stdout.<br />

# Comunque, sono stati re<strong>di</strong>retti sia lo st<strong>di</strong>n che lo stdout.<br />

# ----------------------------------------------------------<br />

exec 1>&7 7>&- # Ripristina lo stdout.<br />

exec 0

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

Saved successfully!

Ooh no, something went wrong!