View source for Aggiungere una stringa all'inizio di una pipe bash

* Se si vuole fare il prepend di una riga prima dell'output di una pipe, usare il command grouping:

 echo "PRIMA RIGA" | (cat && comando che fa la pipe | altro filtro )

*Esempio:
 echo "CONTENUTO DIRECTORY:" | (cat && /bin/ls -al)

*Se si vuole invece mettere in coda:
 echo "ULTIMA RIGA" | (cat && comando che fa la pipe | altro filtro )

*Esempio:
 echo "FINE ELENCO" | (/bin/ls -al && cat)

=Riferimenti=
 echo "FINE ELENCO | (/bin/ls -al && cat)