From cd68cd339e3d98a0fd061f604da3be8381829e93 Mon Sep 17 00:00:00 2001 From: mattirn Date: Thu, 3 Jan 2019 19:25:45 +0100 Subject: [PATCH] use defaultParser to split readLine output --- .../src/test/java/picocli/shell/jline3/example/Example.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/picocli-shell-jline3/src/test/java/picocli/shell/jline3/example/Example.java b/picocli-shell-jline3/src/test/java/picocli/shell/jline3/example/Example.java index 1f42f7497..eea1809c8 100644 --- a/picocli-shell-jline3/src/test/java/picocli/shell/jline3/example/Example.java +++ b/picocli-shell-jline3/src/test/java/picocli/shell/jline3/example/Example.java @@ -10,6 +10,7 @@ import org.jline.reader.LineReaderBuilder; import org.jline.reader.EndOfFileException; import org.jline.reader.UserInterruptException; +import org.jline.reader.ParsedLine; import org.jline.reader.impl.DefaultParser; import org.jline.reader.impl.LineReaderImpl; import org.jline.terminal.TerminalBuilder; @@ -112,7 +113,10 @@ public static void main(String[] args) { while (true) { try { line = reader.readLine(prompt, rightPrompt, (MaskingCallback) null, null); - CommandLine.run(commands, line.split("\\s+")); + ParsedLine pl = reader.getParser().parse(line, 0); + String[] _args = new String[pl.words().size()]; + _args = pl.words().toArray(_args); + CommandLine.run(commands, _args); } catch (UserInterruptException e) { // Ignore } catch (EndOfFileException e) {