----- Original Message -----
From: "Stefan Bodewig" <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Sent: Wednesday, November 21, 2001 10:28 PM
Subject: Re: concat files ?


> On Wed, 21 Nov 2001, Bill Burton <[EMAIL PROTECTED]> wrote:
>
> > You could do this on UNIX without an external script but you would
> > have to execute the entire command line through /bin/sh -c "cat
> > file1 file2 file3 >>target_file".
>
> wouldn't
>
> <exec executable="cat" output="target_file">
>   <arg file="file1" />
>   <arg file="file2" />
>   <arg file="file3" />
> </exec>
>
> work as well - without the need for shell redirects?

How about we extend <echo> to have a srcFile attribute.

Then you can cat through a sequence of echos, but also echo a file to the
output log, which could be useful in its own right.
    <echo srcFile="usage.txt" />

    <echo srcFile="file1" file="target_file"/>
    <echo srcFile="file2" file="target_file" append="true" />
    <echo srcFile="file3" file="target_file" append="true" />

But would this add extra line endings?





--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to