public static String pathToOsString(Path path) {
		if (isWindows() && getShell() == Shell.bash) {
			return path.toString().replace("\\", "\\\\");
		} else {
			return path.toString();
		}
	}
Converts a Path to a String. This is normally a trivial operation, but this
method handles the special case when running in a Bash shell on Windows,
where the default output format would cause problems because the backslashes
would be interpreted as escape sequences. So we need to escape the
backslashes.

@param path the Path to convert
@return a String representing the given Path
src/main/java/dev/jbang/util/Util.java