ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Ken Wood <kw...@i2.com>
Subject Re: Exec arguments, pipes, and I/O redirection...
Date Wed, 06 Sep 2000 13:41:57 GMT
Well, I naively assumed that whatever command line was created, pipes
and redirection and all,
was passed to the OS for processing... but, be that as it may,
I tried the suggestion you and Jose made. It works, I'm happy,
thanks!!

Stefan Bodewig wrote:
> 
> >>>>> "KW" == Ken Wood <kwood@i2.com> writes:
> 
>  KW> <exec executable="cat" dir=".">
>  KW>   <arg line="etc/jsm.properties | sed -f tools/jsmprops_sedscriptfile >
application/server/log/jsm.properties" />
>  KW> </exec>
> 
> well, | sed ... is not really an arg to cat, is it? I haven't tried it
> but I think
> 
> <exec executable="sh" dir=".">
>   <arg value="-c" />
>   <arg value="cat etc/jsm.properties | sed -f tools/jsmprops_sedscriptfile > application/server/log/jsm.properties"
/>
> </exec>

Mime
View raw message