Как сгенерировать путь к каталогу с двойной обратной или прямой косой чертой с разделителями?

Я пишу путь каталога к текстовому файлу из ant, который позже читается приложением Java, чтобы найти другой файл.

В моем ant script у меня есть:

<property name="fulltrainer.dir"  location="${trainer.dir}" />

<echo file="${trainer.dir}/properties/commonConfig.properties"># KEY         VALUE
CurrentBuildFile=${fulltrainer.dir}\current_build</echo>

в файле build.properties для параметра trainer.dir установлено значение:

trainer.dir=../trainer

В итоге он записывает:

# KEY        VALUE
CurrentBuildFile=C:\Workspaces\ralph\trainer\current_build

в файл commonConfig.properties.

Мне нужно, чтобы он записал:

# KEY        VALUE
CurrentBuildFile=C:\\Workspaces\\ralph\\trainer\\current_build

или, мне нужно напишите:

# KEY        VALUE
CurrentBuildFile=C:/Workspaces/ralph/trainer/current_build

Как я могу это сделать?

6
задан martin clayton 5 October 2010 в 20:42
поделиться