Changeset 5413 in osm

Timestamp:

2007-11-10T00:49:56+01:00 (17 years ago)

Author:

ulf

Message:

change the install target, so it uses the right home dir even on windows

File:

• applications/editors/josm/plugins/wmsplugin/build.xml (modified) (2 diffs)

applications/editors/josm/plugins/wmsplugin/build.xml

@@ -1 +1 @@
 <project name="wmsplugin" default="dist" basedir=".">
+
+  <!-- josm "user home" directory depends on the platform used (windows has a different place than unix/linux) -->
+  <property environment="env"/>
+  <condition property="josm.home.dir" value="${env.APPDATA}/JOSM" else="${user.home}/.josm">
+    <and>
+      <os family="windows"/>
+    </and>
+  </condition>
 
   <!-- compilation properties -->
   <property name="josm.build.dir"       value="../../core"/>
-  <property name="josm.home.dir"        value="${user.home}/.josm"/>
+  <property name="josm.plugins.dir" value="${josm.home.dir}/plugins"/>
   <property name="josm"                 location="../../core/dist/josm-custom.jar" />
   <property name="plugin.build.dir"     value="build"/>
@@ -42 +50 @@
   
   <target name="install" depends="dist">
-    <copy file="${plugin.jar}" todir="${user.home}/.josm/plugins"/>
+    <copy file="${plugin.jar}" todir="${josm.plugins.dir}"/>
   </target>