Mi chiedo se esiste un modo semplice per operare su determinate linee con numeri di linea preassegnati.
Diciamo che voglio produrre la prima, la settima, la quattordicesima e la sedicesima riga di un file, posso semplicemente farlo
sed -n '1p;7p;14p;16p' input_file
ma questo diventa più complicato quando l'operazione non sta solo stampando, e non voglio scrivere lo stesso lungo comando 4 volte (e sì, so di poter costruire questo lungo comando sed sostituendo la stessa variabile bash 4 volte, ma non è abbastanza ideale ...), cioè
sed -n '1{long_command};7{long_command};14{long_command};16{long_command}' input_file
C'è un modo per eseguire l'operazione su queste linee specifiche del mio file? Mi aspetto qualcosa di simile,
sed -n '1,7,14,16p'
che certamente non funzionerà nella forma attuale.
Qualsiasi aiuto sarà apprezzato. "No, non è possibile." con le spiegazioni è anche una risposta che accetterò.
awk