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 <[EMAIL PROTECTED]> 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>
