packages/runtime/index.html

<!DOCTYPE html>

<head>
  <meta name="viewport" content="width=device-width,initial-scale=1.0" />
  <title>Postgres in browser</title>
  <link rel="stylesheet" href="https://unpkg.com/xterm@4.19.0/css/xterm.css" />
  <link rel="stylesheet" href="./styles.css" />
  <script type="module" src="https://cdn.jsdelivr.net/gh/zerodevx/zero-md@2/dist/zero-md.min.js"></script>
  <script src="https://unpkg.com/xterm-addon-fit@0.5.0/lib/xterm-addon-fit.js"></script>
  <script src="https://unpkg.com/xterm@4.19.0/lib/xterm.js"></script>
  <script src="./lib/libv86.js"></script>
  <script>
    window.onload = () => {
      const baseOptions = {
        wasm_path: "./lib/v86.wasm",
        memory_size: 128 * 1024 * 1024,
        filesystem: {
          basefs: "filesystem/filesystem.json",
          baseurl: "filesystem/",
        },
        screen_container: document.getElementById("screen_container"),
        serial_container_xtermjs: document.getElementById("terminal"),
        network_relay_url: "wss://relay.widgetry.org/",
        autostart: true,
        disable_keyboard: true,
        disable_mouse: true,
        disable_speaker: true,
        acpi: true,
      };

      const params = new URL(document.location).searchParams;
      const boot = params.get("boot") === "true";
      const sql = params.get("sql");
      const md = params.get("md");

      if (sql) {
        fetch(sql, { method: 'GET' }).then(
          async i => {
            if (!i.ok) throw new Error("Failed to fetch file");
            let m = new Uint8Array(await i.arrayBuffer());
            emulator.add_listener("emulator-ready", function () {
              initTerm();
              setTimeout(() => {
                emulator.create_file("/mnt/data.sql", m);
              }, 0);
              setTimeout(() => {
                emulator.serial0_send(`\\i /mnt/data.sql\n`);
              }, 0);
            });
          }).catch(
            e => console.error(e)
          );
      }

      if (md) {
        const app = document.querySelector('zero-md')
        const run = async () => {
          app.src = md
          await app.render({
            // The class `line-numbers` will be added to the markdown-body container
            classes: 'line-numbers',
            // These are Marked options
            gfm: false,
            mangle: false
          })

        }
        run()
      }

      if (boot) {
        document.getElementById("screen_container").style = "display:block";
        document.getElementById("terminal").style = "";
      }

      const bzimageUrl = "./filesystem/27d6e559.bin";
      const options = {
        ...baseOptions,
        ...(boot
          ? {
              bzimage: {
                url: bzimageUrl,
              },
              cmdline: [
                "rw",
                "root=host9p rootfstype=9p rootflags=version=9p2000.L,trans=virtio,cache=loose quiet acpi=off console=ttyS0 tsc=reliable mitigations=off random.trust_cpu=on nowatchdog page_poison=on",
              ].join(" "),
              bios: {
                url: "./bios/seabios.bin",
              },
              vga_bios: {
                url: "./bios/vgabios.bin",
              },
            }
          : { initial_state: { url: "./state/v86state.bin.zst" } }),
      };

      var emulator = new V86Starter(options);

      function initTerm() {
        const fitAddon = new FitAddon.FitAddon();
        emulator.serial_adapter.term.loadAddon(fitAddon);
        fitAddon.fit();
        window.addEventListener("resize", () => fitAddon.fit());
      }

      function sendBackgroundCommands(commands) {
        const filename = `${(Math.random() + 1).toString(36).substring(7)}.sh`;
        emulator.create_file(
          `/inbox/${filename}`,
          new TextEncoder("UTF-8").encode(commands.join("\n"))
        );
      }

      if (!boot) {
        emulator.add_listener("emulator-ready", function () {
          initTerm();
          setTimeout(() => {
            sendBackgroundCommands(["/etc/init.d/S40network restart"]);
            emulator.serial0_send(
              `\\! stty rows ${emulator.serial_adapter.term.rows} cols ${emulator.serial_adapter.term.cols} && reset\n`
            );
            emulator.serial_adapter.term.focus();
          }, 0);
        });
      }

      var state;

      document.getElementById("save_restore").onclick = async function () {
        var button = this;

        if (state) {
          button.value = "Save state";
          await emulator.restore_state(state);
          state = undefined;
        } else {
          const new_state = await emulator.save_state();
          console.log("Saved state of " + new_state.byteLength + " bytes");
          button.value = "Restore state";
          state = new_state;
        }

        button.blur();
      };

      document.getElementById("save_file").onclick = async function () {
        const new_state = await emulator.save_state();
        var a = document.createElement("a");
        a.download = "v86state.bin";
        a.href = window.URL.createObjectURL(new Blob([new_state]));
        a.dataset.downloadurl =
          "application/octet-stream:" + a.download + ":" + a.href;
        a.click();

        this.blur();
      };

      document.getElementById("restore_file").onchange = function () {
        if (this.files.length) {
          var filereader = new FileReader();
          emulator.stop();

          filereader.onload = async function (e) {
            await emulator.restore_state(e.target.result);
            emulator.run();
          };

          filereader.readAsArrayBuffer(this.files[0]);

          this.value = "";
        }

        this.blur();
      };

      document.getElementById("upload_files").onchange = function (e) {
        var files = e.target.files;
        for (var i = 0; i < files.length; i++) {
          var reader = new FileReader();
          reader.onload = (function (file) {
            return function (e) {
              var data = new TextEncoder("UTF-8").encode(e.target.result);
              emulator.create_file("/" + file.name, data);
              console.log("uploaded " + file.name);
            };
          })(files[i]);
          reader.readAsText(files[i]);
        }
      };

      const uploadBtns = document.getElementsByClassName("upload-btn");
      for (let btn of uploadBtns) {
        btn.addEventListener("click", (event) => {
          const input = btn.getElementsByTagName("input")[0];
          input.click(event);
        });
      }
    };


    function copyCode(num) {
  const shadowContainer = document.getElementById('container').shadowRoot;
  const codes = shadowContainer.querySelectorAll('code');
  const btnElement = shadowContainer.querySelectorAll('button');

  // Create a temporary textarea element to copy the text to
  const tempTextArea = document.createElement('textarea');
  tempTextArea.value = codes[num].textContent;
  shadowContainer.appendChild(tempTextArea);

  // Select the text in the textarea and execute the copy command
  tempTextArea.select();
  document.execCommand('copy');

  // Clean up by removing the temporary textarea
  shadowContainer.removeChild(tempTextArea);

  // Update the button text
  btnElement[num].innerText = 'copied';

  setTimeout(function() { 
    btnElement[num].innerText = 'copy';
  }, 800);
}


  </script>
</head>

<body>
  <div id="screen_container" style="display: none">
    <div></div>
    <canvas></canvas>
  </div>
  <div class="container">
    <zero-md id="container"
      manual-render="true">
      <template>
        <link rel="stylesheet"
          href="https://cdnjs.cloudflare.com/ajax/libs/github-markdown-css/5.1.0/github-markdown-dark.min.css" />
        <style>
          :host {
            display: block;
            position: relative;
            contain: content;
            box-sizing: border-box;
            min-width: 200px;
            max-width: 850px;
            margin: 0 auto;
            padding: 0px;
            width: calc(50% - 20px * 2);
            height: 100vh;
            overflow: scroll;
            overflow-x: hidden;
          }

          .markdown-body {
            height: inherit;
            font-size: small;
          }

          h1{
            color: white;
            padding: 20px 20px;
          }

          ol>li{
            margin-left: 30px;
            font-size: 1.2em;
          }

          pre{
            width: 80%;
            margin-left: 60px;
            border: 1px solid rgb(124, 124, 124);
          }
          
          p{
            margin-left: 40px;
          }

          strong{
            color: rgb(38, 114, 255);
          }

          img{
            margin-left: 20px;
            width: 90%
          }

          span{
            color: rgb(86, 117, 255);
          }
          
          button{
            position: absolute;
            margin-left: 73%;
            margin-top: 20px;
            width: 70px;
            height: 30px;
            background-color: rgb(0, 89, 255);
            border: 1px solid rgb(0, 89, 255);
            border-radius: 0.4em;
          }

          button:hover{
            background-color: rgb(0, 58, 167);
            border: rgb(0, 58, 167);
          }
        
        </style>
      </template>
    </zero-md>
    <div class="xterminal" style="width: calc(60% + 16px * 2); height: calc(100% - 18px * 2 );">
      <div id="terminal"></div>
    </div>
  </div>
</body>