É um arquivo texto? Não sei se 'sed' funciona neste caso:
cat arquivo_inicial | sed /$01/$02/ > arquivo_final
Anta. Besta quadrada. Aprende o comando antes de ensinar errado:
cat arquivo_inicial | sed /^01/^02/ > arquivo_final
$ é para fim de linha, e ^ para começo!!!
Alberto Monteiro
PS: sintomas de que eu realmente estou ficando louco: além
de falar comigo mesmo, ainda chingo!