Hej!
Ich stehe grad etwas auf dem Schlauch. Ich habe ein Logfile, aus dem ich einen bestimmten Abschnitt extrahieren möchte.
grep "start_token[.^$]*end_token" logfile.txt
start=grep -n start_token logfile.txt end=grep -n end_token logfile.txt start=${start/://} end=${end/://} grep -A $((end-start)) start_token logfile.txt
Ungetestet.
Grüße Fabian