Como observado nos comentários, você pode fazer este trabalho usando split
. No entanto, você solicitou sed
, então eu darei a você sed
. (É uma ferramenta perfeitamente boa para isso se você não quiser usar split
.)
Aqui está um exemplo:
$ cat input.txt
Header
Line 2
Line 3
Line 4
Line 5
Line 6
Line 7
Line 8
Line 9
Line 10
Line 11
Line 12
$ sed -n -e '1{w file1' -e 'w file2' -e 'w file3' -e '};2,5w file1' -e '6,10w file2' -e '11,$w file3' input.txt
$ cat file1
Header
Line 2
Line 3
Line 4
Line 5
$ cat file2
Header
Line 6
Line 7
Line 8
Line 9
Line 10
$ cat file3
Header
Line 11
Line 12
$