Bagaimana Anda menggrep file dan mendapatkan 5 baris berikutnya

Bagaimana grepcara membuat file 19:55dan mendapatkan Baris 1,2,3,4,5?

2013/10/08 19:55:27.471
Line 1
Line 2
Line 3
Line 4
Line 5

2013/10/08 19:55:29.566
Line 1
Line 2
Line 3
Line 4
Line 5

Kamu ingin:

grep -A 5 '19:55' file

Dari man grep:

Context Line Control

-A NUM, --after-context=NUM

Print NUM lines of trailing context after matching lines.  
Places a line containing a gup separator (described under --group-separator) 
between contiguous groups of matches.  With the -o or --only-matching
option, this has no effect and a warning is given.

-B NUM, --before-context=NUM

Print NUM lines of leading context before matching lines.  
Places a line containing a group separator (described under --group-separator) 
between contiguous groups of matches.  With the -o or --only-matching
option, this has no effect and a warning is given.

-C NUM, -NUM, --context=NUM

Print NUM lines of output context.  Places a line containing a group separator
(described under --group-separator) between contiguous groups of matches.  
With the -o or --only-matching option,  this  has  no effect and a warning
is given.

--group-separator=SEP

Use SEP as a group separator. By default SEP is double hyphen (--).

--no-group-separator

Use empty string as a group separator.

Beberapa awkversi.

awk '/19:55/{c=5} c-->0'
awk '/19:55/{c=5} c && c--'

Saat pola ditemukan, atur c=5
Jika cbenar, cetak dan kurangi jumlahc

Berikut adalah solusi sed:

sed '/19:55/{
N
N
N
N
N
s/\n/ /g
}' file.txt