ant-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Daniel Martin <dtmarti...@home.com>
Subject Re: How to rename a file
Date Tue, 09 Oct 2001 18:46:14 GMT
Will Dyke <will.dyke@bbc.co.uk> writes:

>     <mapper type="regexp" from="^jndi(.*)\.jar$$" to="jndi.jar"/>

I'd be a bit more conservative with my regexp:
<mapper type="regexp" from="^jndi_[.0-9]*.jar$$" to="jndi.jar"/>

Just because I can imagine having files named, for example,
jnditools.jar which I wouldn't want to affect.

Mime
View raw message