Você pode remover essas linhas usando grep
também:
$ grep -vE "HDR|TLR" *.txt > merged.txt
Isso irá pular todas as linhas que contiverem um "HDR" ou "TLR". O |
é um operador ou para que você possa expandi-lo conforme necessário também, "STR1 | STR2 | STR3", por exemplo. Looping através dos arquivos é garantido, desde que os nomes sejam consistentemente 01.txt
, 02.txt
, etc.
Você pode se convencer disso com o exemplo a seguir.
$ ls -1
01.txt
02.txt
03.txt
04.txt
05.txt
06.txt
07.txt
08.txt
09.txt
11.txt
12.txt
13.txt
14.txt
15.txt
16.txt
17.txt
18.txt
19.txt
$ echo *.txt
01.txt 02.txt 03.txt 04.txt 05.txt 06.txt 07.txt 08.txt 09.txt 11.txt 12.txt 13.txt 14.txt 15.txt 16.txt 17.txt 18.txt 19.txt
Aqui você pode ver que o shell expandiu *.txt
na ordem sequencial que você está procurando.