diff --git a/src/main/java/dev/jbang/cli/Edit.java b/src/main/java/dev/jbang/cli/Edit.java index 7e9e9382c..771eb0cb8 100644 --- a/src/main/java/dev/jbang/cli/Edit.java +++ b/src/main/java/dev/jbang/cli/Edit.java @@ -11,6 +11,7 @@ import java.nio.charset.Charset; import java.nio.file.*; import java.util.*; +import java.util.Objects; import java.util.concurrent.Callable; import java.util.function.Function; import java.util.stream.Collectors; @@ -379,7 +380,15 @@ private static void setupEditor(Path editorBinPath, Path dataPath) throws IOExce } private static List findEditorsOnPath() { - return Arrays.stream(knownEditors).filter(e -> Util.searchPath(e) != null).collect(Collectors.toList()); + return Arrays.stream(knownEditors) + .map(e -> { + Path found = Util.searchPath(e); + if (found == null) + return null; + return Util.isWindows() ? found.toString() : e; + }) + .filter(Objects::nonNull) + .collect(Collectors.toList()); } private static void showStartingMsg(String ed, boolean showConfig) {