Làm cách nào để tạo đường dẫn thư mục có dấu gạch chéo ngược hoặc dấu gạch chéo chéo?

Question

Tôi đang viết một đường dẫn thư mục tới một tệp văn bản từ kiến, mà sau này được ứng dụng Java đọc để tìm một tệp khác.

Trong kịch bản kiến ​​của tôi, tôi có:

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

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

trong build.properties tập tin trainer.dir được thiết lập để:

trainer.dir=../trainer 

Nó kết thúc lên viết:

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

vào tệp commonConfig.properties.

Tôi cần nó để viết:

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

hay, tôi cần nó để viết:

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

Làm thế nào tôi có thể làm điều đó?

Answer 1

này trông rất giống câu hỏi này: Ant produces jsfl with backslashes instead of slashes

Vì vậy, hãy thử sử dụng nhiệm vụ pathconvert.

<pathconvert targetos="unix" property="fulltrainer.unix_dir"> 
    <path location="${trainer.dir}"/> 
</pathconvert> 

<property name="cf.props" value="${trainer.dir}/properties/commonConfig.properties"/> 
<echo file="${cf.props}" message="# KEY   VALUE"/> 
<echo file="${cf.props}" append="yes" message="CurrentBuildFile=${fulltrainer.unix_dir}/current_build"/>