Nummerierung einiger Inhalte einer Datei mit grep oder anderen Befehlen

Question

Ich habe eine Datei wie diese:

==================================[RUN]===================================
result                : Ok
CPU time              : 0.016001 s

==================================[RUN]===================================
result                : Ok
CPU time              : 1.012010 s

ich möchte RUNS wie folgt nummerieren

==================================[RUN 1]===================================
result                : Ok
CPU time              : 0.016001 s

==================================[RUN 2]===================================
result                : Ok
CPU time              : 1.012010 s

wie kann ich das mit grep oder anderen Befehlen machen?

Answer 1

Eine Möglichkeit mit GNU awk:

awk '/^=+\[RUN\]=+$/ { i++; sub(/RUN/, "RUN "i) }1' file.txt 

Answer 2

perl -pe 'if (/=\[RUN\]=/) { $i++; s//=[RUN $i]=/; }'