Concatenar al final de un fichero

[David Leal <leal@est-econ.uc3m.es>]

Hola a todos:

Sabe alguien como hacer para concatenar ficheros y colocarlos al final
de uno que ya existe?

He intentado

$> cat file1 file2 > file3

pero se queja diciendome que el fichero file3 existe. Si hago

$> cat file1 file2 >> file3

Me dice
cat: Cannot use file3 as both input and output.

He mirado en el man del cat y al parecer esta posibilidad no se
contempla.

Gracias de antemano,

David



--
David R. Leal Valmana            | Office: 10.1.02
Tel: (34)-916.24.93.14           | Fax: (34)-916.24.98.49
mailto:leal@est-econ.uc3m.es     | http://jupiter.uc3m.es/~david/
Universidad Carlos III de Madrid | Dpto. de Estadistica y Econometria