Eu estou tentando pegar 100 linhas após o texto "time: X" com X em {0,40,80, ..., 200}. Aqui está o que eu tenho até agora:
#!/bin/bash
start=1
end=5
for i in $(seq $start $end);do
j=$(($i*40))
awk '/time: $j/{for(i=1;i<=100;i++}{getl...
07.04.2016 / 15:22