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.

$PS3<br />

$PS4<br />

$PWD<br />

Prompt <strong>di</strong> terzo livello, visualizzato in un ciclo select (ve<strong>di</strong> Esempio 10-29).<br />

Capitolo 9. Variabili riviste<br />

Prompt <strong>di</strong> quarto livello. Viene visualizzato all’inizio <strong>di</strong> ogni riga <strong>di</strong> output quando lo script è stato<br />

invocato con l’opzione -x. Viene visualizzato come “+”.<br />

Directory <strong>di</strong> lavoro (<strong>di</strong>rectory corrente)<br />

È analoga al comando builtin pwd.<br />

#!/bin/bash<br />

E_ERRATA_DIRECTORY=73<br />

clear # Pulisce lo schermo.<br />

DirectoryDestinazione=/home/bozo/projects/GreatAmericanNovel<br />

cd $DirectoryDestinazione<br />

echo "Cancellazione dei vecchi file in $DirectoryDestinazione."<br />

if [ "$PWD" != "$DirectoryDestinazione" ]<br />

then # Evita <strong>di</strong> cancellare per errore una <strong>di</strong>rectory sbagliata.<br />

echo "Directory errata!"<br />

echo "Sei in $PWD, non in $DirectoryDestinazione!"<br />

echo "Salvo!"<br />

exit $E_ERRATA_DIRECTORY<br />

fi<br />

rm -rf *<br />

rm .[A-Za-z0-9]* # Cancella i file i cui nomi iniziano con un punto.<br />

# rm -f .[^.]* ..?* per cancellare file che iniziano con due o più punti.<br />

# (shopt -s dotglob; rm -f *) anche in questo modo.<br />

# Grazie, S.C. per la puntualizzazione.<br />

# I nomi dei file possono essere formati da tutti i caratteri nell’intervallo<br />

#+ 0 - 255, tranne "/". La cancellazione <strong>di</strong> file che iniziano con caratteri<br />

#+ inconsueti è lasciata come esercizio.<br />

# Altre eventuali operazioni.<br />

echo<br />

echo "Fatto."<br />

echo "Cancellati i vecchi file in $DirectoryDestinazione."<br />

echo<br />

104

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

Saved successfully!

Ooh no, something went wrong!