Guida avanzata di scripting Bash - Portale Posta DMI

# È il compagno di “>” e vengono spesso usati insieme.
#
# grep parola-da-cercare File # Scrive la stringa in "File".
exec 3 File # Apre "File" e gli assegna il df 3.
read -n 4 &3 # Scrive il punto decimale dopo i
#+ caratteri letti.
exec 3>&- # Chiude il df 3.
cat File # ==> 1234.67890
# È l’accesso casuale, diamine.
|
# Pipe.
# Strumento generico per concatenare processi e comandi.
# Simile a “>”, ma con effetti più generali.
# Utile per concatenare comandi, script, file e programmi.
cat *.txt | sort | uniq > file-finale
# Ordina gli output di tutti i file .txt e cancella le righe doppie,
# infine salva il risultato in “file-finale”.
È possibile combinare molteplici istanze di redirezione input e output e/o pipe in un’unica linea di
comando.
comando < file-input > file-output
comando1 | comando2 | comando3 > file-output
Vedi Esempio 12-28 e Esempio A-15.
È possibile redirigere più flussi di output in un unico file.
ls -yz >> comandi.log 2>&1
# Invia il risultato delle opzioni illegali "yz" di "ls" nel file "comandi.log"
# Poiché lo stderr è stato rediretto nel file, in esso si troveranno anche
#+ tutti i messaggi d’errore.
# Notate, però, che la riga seguente *non* dà lo stesso risultato.
ls -yz 2>&1 >> comandi.log
# Visualizza un messaggio d’errore e non scrive niente nel file.
396