Append newline to many files

[Dominik Vogt <dominik.vogt@xxxxxx>]

Assume there are thousands of text files that are not terminated
with a newline.  I want to concatenate them all, but add the
missing newline between files.

This works but takes ten times as much time as "cat foo.*".

  for i in foo.*; do cat "$i"; echo; done > out

I can't really think of a fast yet simple solution.

Ciao

Dominik ^_^  ^_^

--

Dominik Vogt