Você pode usar o grep com -A
. Algo como:
$ grep -A 13 '^\[2\]' inputfile.txt
O -A
especifica o número de linhas que você deseja incluir após a correspondência.
Mas acho que seria melhor usar sed
neste caso:
$ sed -n '/^\[2\]/,/^$/p' inputfile.txt
Isso imprimirá tudo entre [2]
e uma linha vazia.
O mesmo usando awk
:
$ awk -v RS='' -v ORS='\n\n' '/^\[2\]/' inputfile.txt