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.

Appen<strong>di</strong>ce L. Conversione dei file batch <strong>di</strong> DOS in script <strong>di</strong> shell<br />

REM SE NON CI SONO ARGOMENTI DA RIGA DI COMANDO...<br />

FIND "%1" C:\BOZO\BOOKLIST.TXT<br />

GOTO EXIT0<br />

REM VISUALIZZA LA RIGA DELLA STRINGA VERIFICATA, QUINDI ESCE.<br />

:VIEWDATA<br />

TYPE C:\BOZO\BOOKLIST.TXT | MORE<br />

REM VISUALIZZA L’INTERO FILE, 1 PAGINA ALLA VOLTA.<br />

:EXIT0<br />

La conversione dello script rappresenta un miglioramento.<br />

Esempio L-2. viewdata.sh: Script <strong>di</strong> shell risultante dalla conversione <strong>di</strong> VIEWDATA.BAT<br />

#!/bin/bash<br />

# viewdata.sh<br />

# Conversione <strong>di</strong> VIEWDATA.BAT in script <strong>di</strong> shell.<br />

FILEDATI=/home/bozo/datafiles/book-collection.data<br />

NRARG=1<br />

# @ECHO OFF In questo caso il comando è inutile.<br />

if [ $# -lt "$NRARG" ] # IF !%1==! GOTO VIEWDATA<br />

then<br />

less $FILEDATI # TYPE C:\MYDIR\BOOKLIST.TXT | MORE<br />

else<br />

grep "$1" $FILEDATI # FIND "%1" C:\MYDIR\BOOKLIST.TXT<br />

fi<br />

exit 0 # :EXIT0<br />

# Non sono necessari GOTO, etichette, giochi <strong>di</strong> specchi e imbrogli.<br />

# Il risultato della conversione è uno script breve, dolce e pulito,<br />

#+ il che non può <strong>di</strong>rsi dell’originale.<br />

In Shell Scripts on the PC (http://www.maem.umr.edu/~batch/), sul sito <strong>di</strong> Ted Davis, è presente<br />

un’ampia serie <strong>di</strong> manuali sull’arte, ormai fuori moda, della programmazione <strong>di</strong> file batch. È<br />

immaginabile che alcune delle sue ingegnose tecniche possano aver rilevanza anche per gli script <strong>di</strong> shell.<br />

809

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

Saved successfully!

Ooh no, something went wrong!