The web shell: the solver shell, extended for a PTY framed by the browser.

11 filesOpen on GitHub

• __init__.py

  The web shell: the solver shell, extended for a PTY framed by the browser.

• __main__.py

  Web shell entry point: python -m euler_webshell.shell — what the per-user service's PTY runs.

• host.py

  Host terminal entry point: python -m euler_webshell.shell.host — what solver-host runs.

• host.toml

  The host terminal's overlays on the solver shell's commands.

• identity.py

  The web shell's identity: a one-time shell ticket, redeemed at the auth service.

• keys.py

  Key distribution: issuing the master key over the message spool and by mail.

• logout.py

  The logout shell command: sign out of the web session from the terminal.

• notices.py

  The message spool as the carrier of the solver shell's notices (solver.core.notices).

• osc.py

  The shell → browser control channel: OSC 5379.

• overlays.toml

  The web shell's overlays on the solver shell's commands.

• viewer.py

  The web shell's show and edit: swap the app shell's left pane instead of opening a tab.