If awk is allowed (anyhow it gives a direction to figure it out in bash):
Code:
#!/bin/sh
awk '
{
if($0 ~ /^starting with .*Header /) {
i++
print "===Header"i " Start==="
flag=1
next
}
if($0 ~ /^"End Machine Header /) {
print "===Header"i " End==="
if(i==3) {
exit
}
flag=0
}
if(flag) {
print $0
}
next
}' $1
Regards
