Usando sed
e o script sed
1,10{
w otherfile
d
}
Isso gravará as linhas de 1 a 10 no arquivo otherfile
, excluindo-as da entrada.
Com edição in-loco do arquivo original (usando o GNU sed
aqui):
sed -i '1,10{w B.txt
d}' A.txt
A nova linha é necessária para delimitar o nome do arquivo. Ou
sed -i -e '1,10{w B.txt' -e 'd}' A.txt