Spaces:
Running
Running
| <html> | |
| <head> | |
| <meta charset="UTF-8" /> | |
| <script src="https://cdn.jsdelivr.net/npm/jquery"></script> | |
| <script src="https://cdn.jsdelivr.net/npm/jquery.terminal@2.23.0/js/jquery.terminal.min.js"></script> | |
| <link | |
| href="https://cdn.jsdelivr.net/npm/jquery.terminal@2.23.0/css/jquery.terminal.min.css" | |
| rel="stylesheet" | |
| /> | |
| <script src="./pyodide.js"></script> | |
| <style> | |
| .terminal { | |
| --size: 1.5; | |
| --color: rgba(255, 255, 255, 0.8); | |
| } | |
| </style> | |
| </head> | |
| <body> | |
| <script> | |
| ; | |
| function sleep(s) { | |
| return new Promise((resolve) => setTimeout(resolve, s)); | |
| } | |
| async function main() { | |
| globalThis.pyodide = await loadPyodide({ | |
| indexURL: "./", | |
| }); | |
| let namespace = pyodide.globals.get("dict")(); | |
| pyodide.runPython( | |
| ` | |
| import sys | |
| from pyodide import to_js | |
| from pyodide.console import PyodideConsole, repr_shorten, BANNER | |
| import __main__ | |
| BANNER = "Welcome to the Pyodide terminal emulator 🐍\\n" + BANNER | |
| pyconsole = PyodideConsole(__main__.__dict__) | |
| import builtins | |
| async def await_fut(fut): | |
| res = await fut | |
| if res is not None: | |
| builtins._ = res | |
| return to_js([res], depth=1) | |
| def clear_console(): | |
| pyconsole.buffer = [] | |
| `, | |
| namespace | |
| ); | |
| let repr_shorten = namespace.get("repr_shorten"); | |
| let banner = namespace.get("BANNER"); | |
| let await_fut = namespace.get("await_fut"); | |
| let pyconsole = namespace.get("pyconsole"); | |
| let clear_console = namespace.get("clear_console"); | |
| namespace.destroy(); | |
| let ps1 = ">>> ", | |
| ps2 = "... "; | |
| async function lock() { | |
| let resolve; | |
| let ready = term.ready; | |
| term.ready = new Promise((res) => (resolve = res)); | |
| await ready; | |
| return resolve; | |
| } | |
| async function interpreter(command) { | |
| let unlock = await lock(); | |
| term.pause(); | |
| // multiline should be splitted (useful when pasting) | |
| for (const c of command.split("\n")) { | |
| let fut = pyconsole.push(c); | |
| term.set_prompt(fut.syntax_check === "incomplete" ? ps2 : ps1); | |
| switch (fut.syntax_check) { | |
| case "syntax-error": | |
| term.error(fut.formatted_error.trimEnd()); | |
| continue; | |
| case "incomplete": | |
| continue; | |
| case "complete": | |
| break; | |
| default: | |
| throw new Error(`Unexpected type ${ty}`); | |
| } | |
| // In JavaScript, await automatically also awaits any results of | |
| // awaits, so if an async function returns a future, it will await | |
| // the inner future too. This is not what we want so we | |
| // temporarily put it into a list to protect it. | |
| let wrapped = await_fut(fut); | |
| // complete case, get result / error and print it. | |
| try { | |
| let [value] = await wrapped; | |
| if (value !== undefined) { | |
| term.echo( | |
| repr_shorten.callKwargs(value, { | |
| separator: "\n[[;orange;]<long output truncated>]\n", | |
| }) | |
| ); | |
| } | |
| if (pyodide.isPyProxy(value)) { | |
| value.destroy(); | |
| } | |
| } catch (e) { | |
| if (e.constructor.name === "PythonError") { | |
| const message = fut.formatted_error || e.message; | |
| term.error(message.trimEnd()); | |
| } else { | |
| throw e; | |
| } | |
| } finally { | |
| fut.destroy(); | |
| wrapped.destroy(); | |
| } | |
| } | |
| term.resume(); | |
| await sleep(10); | |
| unlock(); | |
| } | |
| let term = $("body").terminal(interpreter, { | |
| greetings: banner, | |
| prompt: ps1, | |
| completionEscape: false, | |
| completion: function (command, callback) { | |
| callback(pyconsole.complete(command).toJs()[0]); | |
| }, | |
| keymap: { | |
| "CTRL+C": async function (event, original) { | |
| clear_console(); | |
| term.echo_command(); | |
| term.echo("KeyboardInterrupt"); | |
| term.set_command(""); | |
| term.set_prompt(ps1); | |
| }, | |
| TAB: (event, original) => { | |
| const command = term.before_cursor(); | |
| // Disable completion for whitespaces. | |
| if (command.trim() === "") { | |
| term.insert("\t"); | |
| return false; | |
| } | |
| return original(event); | |
| }, | |
| }, | |
| }); | |
| window.term = term; | |
| pyconsole.stdout_callback = (s) => term.echo(s, { newline: false }); | |
| pyconsole.stderr_callback = (s) => { | |
| term.error(s.trimEnd()); | |
| }; | |
| term.ready = Promise.resolve(); | |
| pyodide._module.on_fatal = async (e) => { | |
| term.error( | |
| "Pyodide has suffered a fatal error. Please report this to the Pyodide maintainers." | |
| ); | |
| term.error("The cause of the fatal error was:"); | |
| term.error(e); | |
| term.error("Look in the browser console for more details."); | |
| await term.ready; | |
| term.pause(); | |
| await sleep(15); | |
| term.pause(); | |
| }; | |
| } | |
| window.console_ready = main(); | |
| </script> | |
| </body> | |
| </html> | |