Ich habe großen Dateitext (fast 3 GB) - es ist eine Protokolldatei. Ich möchte Textzeilen aus dieser Datei vom 13. bis 19. Juli erhalten, die einer Reihe von Daten entsprechen. Mein Protokollformat ist:
2016-07-12 < ?xml version>
2016-07-13 < ?xml version>
2016-07-18 < ?xml version>
2016-07-18 < ?xml version>
2016-07-19 < ?xml version>
2016-07-20 < ?xml version>
sample text sample text
sample text sample text
sample text sample text
2016-07-20 < ?xml version>
sample text sample text
2016-07-20 < ?xml version>
also nach grep
/ sed
sollte es wie folgt ausgegeben werden:
2016-07-13 < ?xml version>
2016-07-18 < ?xml version>
2016-07-18 < ?xml version>
2016-07-19 < ?xml version>
Wie kann ich das bekommen?