pinokiod 3.16.0 → 3.16.2
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 +2 -1
- package/kernel/shells.js +2 -1
- package/package.json +1 -1
- package/server/views/app.ejs +5 -1
package/kernel/shell.js
CHANGED
|
@@ -336,9 +336,10 @@ class Shell {
|
|
|
336
336
|
} else if (this.params.interactive) {
|
|
337
337
|
chunk_size = 1024
|
|
338
338
|
}
|
|
339
|
-
console.log({ interactive: this.params.interactive, chunk_size })
|
|
339
|
+
// console.log({ interactive: this.params.interactive, chunk_size })
|
|
340
340
|
for(let i=0; i<message.length; i+=chunk_size) {
|
|
341
341
|
let chunk = message.slice(i, i+chunk_size)
|
|
342
|
+
// console.log("write chunk", { i, chunk })
|
|
342
343
|
this.ptyProcess.write(chunk)
|
|
343
344
|
this.ondata({ i, total: message.length, type: "emit2" })
|
|
344
345
|
await new Promise(r => setTimeout(r, 10));
|
package/kernel/shells.js
CHANGED
|
@@ -283,7 +283,8 @@ class Shells {
|
|
|
283
283
|
if (session) {
|
|
284
284
|
if (params.paste) {
|
|
285
285
|
//session.emit("\x1b[?2004h\x1b[200~" + params.emit+ "\x1b[201~")
|
|
286
|
-
session.emit(params.emit)
|
|
286
|
+
session.emit("\x1b[200~" + params.emit+ "\x1b[201~")
|
|
287
|
+
//session.emit(params.emit)
|
|
287
288
|
} else {
|
|
288
289
|
session.emit(params.emit)
|
|
289
290
|
}
|
package/package.json
CHANGED
package/server/views/app.ejs
CHANGED
|
@@ -1703,7 +1703,11 @@ body.dark .appcanvas {
|
|
|
1703
1703
|
// clicked dev mode menu => switch to dev
|
|
1704
1704
|
// run mode => switch to dev mode
|
|
1705
1705
|
location.hash = ""
|
|
1706
|
-
location.pathname
|
|
1706
|
+
if (location.pathname.endsWith("/")) {
|
|
1707
|
+
location.pathname = location.pathname + "dev"
|
|
1708
|
+
} else {
|
|
1709
|
+
location.pathname = location.pathname + "/dev"
|
|
1710
|
+
}
|
|
1707
1711
|
} else {
|
|
1708
1712
|
// regular menu
|
|
1709
1713
|
target.closest(".nested-menu").querySelector(".submenu").classList.toggle("hidden")
|