ディレクトリの名前を変更する方法についてはたくさんの回答がありますが、すべて正確なディレクトリ名を知っている必要があります。私の場合、名前は動的に生成されます。このようなことをしたいのですが、ソースディレクトリをワイルドカードできないため失敗します:
<copy todir="./some/runtime/directory/mydir">
<fileset dir="some/build/dir/mydir*"/> <!-- name is mydir_<timestamp> -->
</copy>
bashでは、できmv some/build/dir/mydir* some/runtime/dir/mydir
ました。同等のantコマンドを見つけようとしています。