ant-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
Subject Re: Getting the basename of a path element
Date Thu, 19 Apr 2001 05:52:19 GMT
Scott M. Stark <> wrote:

> places a copy of the contents of /etc into /tmp rather than creating
> a /tmp/etc dir with the same contents of /etc. Is there a way to do
> this without breaking the to copy directory path into its parent
> path and basename?

Using a mapper should work, something like

<property name="etc.dir" value="/etc" />
<copy todir="/tmp">
  <fileset dir="${etc.dir}" />
  <mapper type="glob" from="*" to="etc/*" />

but this still needs to know the basename of /etc.


View raw message