Guida avanzata di scripting Bash - Portale Posta DMI

Appendice L. Conversione dei file batch di DOS
in script di shell
Un certo numero di programmatori ha imparato lo scripting su PC dove era installato il sistema operativo
DOS. Anche il frammentario linguaggio dei file batch di DOS consente di scrivere delle applicazioni e
degli script piuttosto potenti, anche se questo richiede un ampio impiego di espedienti e stratagemmi.
Talvolta, la necessità spinge a convertire vecchi file batch di DOS in script di shell UNIX. Questa
operazione, generalmente, non è difficile, dal momento che gli operatori dei file batch DOS sono in
numero inferiore rispetto agli analoghi operatori dello scripting di shell.
Tabella L-1. Parole chiave / variabili / operatori dei file batch e loro equivalenti di shell
Operatore di File Batch Corrispondente di scripting
di shell
Significato
% $ prefisso dei parametri da riga di
comando
/ - prefisso per le opzione di un
comando
\ / separatore di percorso
== = (uguale a) verifica di confronto di
stringhe
!==! != (non uguale a) verifica di
confronto di stringhe
| | pipe
@ set +v non visualizza il comando corrente
* * “carattere jolly” per nomi di file
> > redirezione di file (sovrascrittura)
>> >> redirezione di file (accodamento)
< < redirezione dello stdin
%VAR% $VAR variabile d’ambiente
REM # commento
NOT ! nega la verifica successiva
NUL /dev/null “buco nero” dove seppellire
l’output dei comandi
ECHO echo visualizzazione (molte più opzioni
in Bash)
ECHO. echo visualizza una riga vuota
ECHO OFF set +v non visualizza il/i comando/i
successivo/i
806