[plug] Insert one file into another

[Derek Fountain]

On Monday 08 December 2003 16:34, Ben New wrote:
> Derek,
>
> cat file1 | sed -e '/>>>>.*/ r file2' | sed -e '/>>>>.*/ d'

Great, just what I need, thanks. My files are a few dozen lines, so the 
efficiency question is somewhat irrelevant to my application. :o)

-- 
> eatapple
core dump