Gabriele.vivinetto: Created page with "* 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 ) *Ese..."

2021-09-14T14:11:29Z

Created page with "* 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 ) *Ese..."

New page

* 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)

Aggiungere una stringa all'inizio di una pipe bash - Revision history

Gabriele.vivinetto: Created page with "* 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 ) *Ese..."