pinokiod 3.0.8 → 3.0.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/kernel/shell.js +3 -1
- package/package.json +1 -1
package/kernel/shell.js
CHANGED
|
@@ -455,7 +455,8 @@ class Shell {
|
|
|
455
455
|
|
|
456
456
|
let delimiter
|
|
457
457
|
if (this.platform === "win32") {
|
|
458
|
-
delimiter = " && "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
|
|
458
|
+
//delimiter = " && "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
|
|
459
|
+
delimiter = " & "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
|
|
459
460
|
} else {
|
|
460
461
|
delimiter = " ; ";
|
|
461
462
|
}
|
|
@@ -826,6 +827,7 @@ ${cleaned}
|
|
|
826
827
|
//let termination_prompt_re = new RegExp(this.prompt_pattern + "[ \r\n]*$", "g")
|
|
827
828
|
let line = cleaned.replaceAll(/[\r\n]/g, "")
|
|
828
829
|
let test = line.match(termination_prompt_re)
|
|
830
|
+
console.log({ line, test, termination_prompt_re })
|
|
829
831
|
if (test) {
|
|
830
832
|
let cache = cleaned
|
|
831
833
|
let cached_msg = msg
|