[bash] totale righe standard output

[il_Mancino]

salve a tutti :)

scusate per il titolo ma non me ne veniva in mente uno migliore.

passo al dunque, ho un problema con un piccolo script che non riesco a risolvere, in pratica ho la necessità di avere il totale delle righe in standard output dopo aver dato un determinato comando.

questo

cat -n nome_file | grep "variabile" >> 1.txt

mi servirebbe accodare al file anche il totale delle righe, è possibile? se si come?

grazie anticipatamente a chi avrà la bontà di rispondere :)

ciao

[KiKKo2K]

salve a tutti :)

scusate per il titolo ma non me ne veniva in mente uno migliore.

passo al dunque, ho un problema con un piccolo script che non riesco a risolvere, in pratica ho la necessità di avere il totale delle righe in standard output dopo aver dato un determinato comando.

questo

cat -n nome_file | grep "variabile" >> 1.txt

mi servirebbe accodare al file anche il totale delle righe, è possibile? se si come?

grazie anticipatamente a chi avrà la bontà di rispondere :)

ciao

non ho capito bene, puoi fare un esempio?

[vampirodolce1]

Potresti aggiungere, oltre al tuo comando, quest'altro comando:

cat -n nome_file | grep "variabile" |wc -l >> 1.txt
che aggiunge al file una linea col numero delle righe.