#1268 save paths with slach and not backslach

Author: jantje

io.sloeber.core/src/io/sloeber/core/api/BoardDescription.java

@@ -803,7 +803,7 @@ private Map<String, String> onlyKeepValidOptions(Map<String, String> options) {
      */
     public Map<String, String> getEnvVarsConfig(String prefix) {
         Map<String, String> allVars = new TreeMap<>();
-        String board_txt = makePathEnvironmentString(getReferencingBoardsFile());
+        String board_txt = makePathVersionString(getReferencingBoardsFile());
 
         allVars.put(prefix + KEY_SLOEBER_PROGRAMMER, myProgrammer);
         allVars.put(prefix + KEY_SLOEBER_BOARD_ID, myBoardID);

io.sloeber.core/src/io/sloeber/core/common/Common.java

@@ -28,6 +28,7 @@ public class Common extends Const {
     public final static String sloeberHome = getSloeberHome();
     public final static IPath sloeberHomePath = new Path(sloeberHome);
     public final static String sloeberHomePathToOSString = sloeberHomePath.toOSString();
+    public final static String sloeberHomePathToString = sloeberHomePath.toString();
 
     private static String getSloeberHome() {
 
@@ -229,6 +230,12 @@ public static String makePathEnvironmentString(File file) {
         return file.getPath().replace(sloeberHomePathToOSString, SLOEBER_HOME_VAR);
     }
 
+    public static String makePathVersionString(File file) {
+        String osPathString = file.getPath();
+        IPath path = new Path(osPathString);
+        return path.toString().replace(sloeberHomePathToString, SLOEBER_HOME_VAR);
+    }
+
     public static File resolvePathEnvironmentString(File file) {
         String retString = file.getPath().replace(SLOEBER_HOME_VAR, sloeberHomePathToOSString);
         return new File(retString);