pinokiod 3.0.24 → 3.0.25

package/kernel/shell.js

@@ -110,8 +110,6 @@ class Shell {
       delete this.env.CUDA_PATH
     }
 
-    this.env.PINOKIO_SHELL_START = Date.now()
-
     this.env.CMAKE_OBJECT_PATH_MAX = 1024
     this.env.PYTORCH_ENABLE_MPS_FALLBACK = 1
 //    this.env.NPM_CONFIG_USERCONFIG = this.kernel.path("user_npmrc")
@@ -452,17 +450,9 @@ class Shell {
 //        params.message.push(`echo "SHELL FINISHED RUNNING"\r\n`)
         // if params.message is empty, filter out
         //let delimiter = " && "
-
-        if (this.platform === "win32") {
-          params.message.push(`echo "--- pinokio shell.run finished: %PINOKIO_SHELL_START% ---"`)
-        } else {
-          params.message.push('echo "--- pinokio shell.run finished $PINOKIO_SHELL_START ---"')
-        }
-
         let delimiter
         if (this.platform === "win32") {
-          //delimiter = " && "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
-          delimiter = " & "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
+          delimiter = " && "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
         } else {
           delimiter = " ; ";
         }
@@ -827,13 +817,9 @@ ${cleaned}
       // Decide whether to kill or continue
       if (this.ready) {
         // when ready, watch out for the prompt pattern that terminates with [\r\n ]
-
-        let termination_prompt_re = new RegExp(".*--- pinokio shell.run finished: [0-9]+ ---.*", "g")
-
-        //let termination_prompt_re = new RegExp(this.prompt_pattern + "[ \r\n]*$", "g")
+        let termination_prompt_re = new RegExp(this.prompt_pattern + "[ \r\n]*$", "g")
         let line = cleaned.replaceAll(/[\r\n]/g, "")
         let test = line.match(termination_prompt_re)
-        console.log({ line, test, termination_prompt_re })
         if (test) {
           let cache = cleaned
           let cached_msg = msg

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pinokiod",
-  "version": "3.0.24",
+  "version": "3.0.25",
   "description": "",
   "main": "index.js",
   "scripts": {