Um alles in einer Datei nach einem grep-string würde

Gestern eine situation kam, wo jemand mich braucht, zu trennen die tail-Ende einer Datei, angegeben als alles nach einer bestimmten Zeichenfolge (aus Gründen der argument, "FOO"). Ich musste das tun, sofort, so ging mit der option, dass ich wusste, funktionieren würde und fluchtartig Den Richtigen Weg oder Die Beste Art und Weise, und ging mit den folgenden:

grep -n FOO FILE.TXT | cut -f1 -d":" | xargs -I{} tail -n +{} FILE.TXT > NEWFILE.TXT

Die Sache, nervte mich über diese wurde die Verwendung von xargs für ein singleton-Wert. Ich dachte, dass ich gehen könnte flex mein Google-Fu auf dieser war aber daran interessiert zu sehen, welche Art von Dinge, die die Leute in SO-land kam mit dieser situation

InformationsquelleAutor geoffjentry | 2011-05-11
Schreibe einen Kommentar