awk -a while -a getline

1cpuer

# bash:root [9083] 2019-09-25 04:40:10 1569357610 /media/buku/dic1-d # seq 10 | awk '/3/{ while( getline l ){ if ( $0 ~ /7/ )exit; print l} }'
4
5
6
7
8
9
10
# bash:root [9100] 2019-09-25 04:55:48 1569358548 /media/buku/dic1-d # seq 10 | awk '{ if ( $0 ~ /7/ ){exit};print }'
1
2
3
4
5
6

# bash:root [9379] 2019-09-26 09:21:03 1569460863 /media/buku/dic1-d # seq 10 | awk '/3/{print $0;while (getline ){if($0 ~ /7/){exit};print $0}}'
3
4
5
6