bitpull 0.1.23 → 0.1.25

package/ui/terminal.js

@@ -0,0 +1,328 @@
+// The person's own terminal in the dashboard: real shells on this computer, in tabs and split panes.
+// What an agent runs is shown in its own read-only tab: it never types in the person's shells.
+//
+//   const term = mountTerminal(el, { cwd, token, t });
+//   term.newTab(); term.split(); term.close(); term.runVisible("npm test");
+//
+// The server refuses anything but this page, on 127.0.0.1, with the dashboard's token.
+import { Terminal } from "./vendor/xterm.mjs";
+import { FitAddon } from "./vendor/addon-fit.mjs";
+
+const MAX_INPUT = 200 * 1024;
+let cssAdded = false;
+
+function addCss() {
+  if (cssAdded) return;
+  cssAdded = true;
+  const link = document.createElement("link");
+  link.rel = "stylesheet";
+  link.href = new URL("./vendor/xterm.css", import.meta.url).href;
+  document.head.appendChild(link);
+  const style = document.createElement("style");
+  style.textContent = `
+  .bp-term { display:flex; flex-direction:column; height:100%; min-height:160px; background:var(--surface,#1e1e1c); color:var(--text,#ecebe6); }
+  .bp-term-bar { display:flex; align-items:center; gap:4px; padding:4px 6px; border-bottom:1px solid var(--line,#33322f); overflow-x:auto; }
+  .bp-term-bar .bp-tabs { display:flex; gap:2px; flex:1; min-width:0; }
+  .bp-term-bar button { background:transparent; color:var(--muted,#a2a19b); border:1px solid transparent; border-radius:6px; padding:3px 9px; font:inherit; font-size:12.5px; cursor:pointer; white-space:nowrap; }
+  .bp-term-bar button.on, .bp-term-bar button:hover { color:var(--text,#ecebe6); border-color:var(--line,#33322f); }
+  .bp-term-panes { flex:1; display:flex; min-height:0; }
+  .bp-term-pane { flex:1; min-width:0; padding:4px 0 0 6px; }
+  .bp-term-pane + .bp-term-pane { border-inline-start:1px solid var(--line,#33322f); }
+  .bp-term-msg { padding:14px; font-size:13px; color:var(--muted,#a2a19b); }
+  .bp-term-msg button { margin-top:8px; }
+  .bp-term-pane .xterm { height:100%; direction:ltr; }`;
+  document.head.appendChild(style);
+}
+
+function theme() {
+  const css = getComputedStyle(document.documentElement);
+  const v = (name, fallback) => css.getPropertyValue(name).trim() || fallback;
+  return { background: v("--surface", "#1e1e1c"), foreground: v("--text", "#ecebe6"), cursor: v("--accent", "#7c9cf2"), selectionBackground: "#7c9cf255" };
+}
+
+async function call(token, path, body) {
+  const res = await fetch(path, { method: body ? "POST" : "GET", headers: { "content-type": "application/json", "x-bitpull-token": token || "" }, body: body ? JSON.stringify(body) : undefined });
+  const data = await res.json().catch(() => ({}));
+  if (!res.ok) throw new Error(data.error || String(res.status));
+  return data;
+}
+
+/** Whether the terminal is on, and whether this computer has the component it needs. */
+export const terminalStatus = (token) => call(token, "/api/terminal");
+export const setTerminalEnabled = (token, enabled) => call(token, "/api/terminal/settings", { enabled });
+
+/** The switch for the settings: off by default, with what turning it on means. */
+export function mountTerminalSetting(el, { token, t = (k) => k, onChange } = {}) {
+  const render = (s) => {
+    el.replaceChildren();
+    const label = document.createElement("label");
+    const name = document.createElement("span");
+    name.textContent = t("term.setting");
+    const box = document.createElement("input");
+    box.type = "checkbox";
+    box.checked = !!s.enabled;
+    box.disabled = !s.available;
+    box.dataset.tip = "tip.term.setting";
+    label.append(name, " ", box);
+    const help = document.createElement("p");
+    help.className = "help";
+    help.textContent = s.available ? t("term.setting.hint") : t("term.unavailable");
+    el.append(label, help);
+    box.addEventListener("change", async () => {
+      box.disabled = true;
+      try {
+        const r = await setTerminalEnabled(token, box.checked);
+        onChange && onChange(r.enabled);
+        render({ ...s, enabled: r.enabled });
+      } catch {
+        box.checked = !box.checked;
+        box.disabled = false;
+      }
+    });
+  };
+  terminalStatus(token).then(render, () => render({ enabled: false, available: false }));
+}
+
+/**
+ * Mounts the terminal in `el`. `cwd` must be a folder the person authorised; `t` translates.
+ * Returns the controls the page and the Projects view use.
+ */
+export function mountTerminal(el, { cwd, token, t = (k) => k } = {}) {
+  const ended = (code) => String(t("term.exited", { code })).replace("{code}", String(code));
+  addCss();
+  el.replaceChildren();
+  const root = document.createElement("div");
+  root.className = "bp-term";
+  const bar = document.createElement("div");
+  bar.className = "bp-term-bar";
+  const tabsEl = document.createElement("div");
+  tabsEl.className = "bp-tabs";
+  const button = (key, tip, fn) => {
+    const b = document.createElement("button");
+    b.type = "button";
+    b.textContent = t(key);
+    b.dataset.tip = tip;
+    b.dataset.action = key;
+    b.addEventListener("click", fn);
+    return b;
+  };
+  const panesEl = document.createElement("div");
+  panesEl.className = "bp-term-panes";
+  root.append(bar, panesEl);
+  el.appendChild(root);
+
+  const tabs = []; // { title, panes: [{ term, fit, id?, box, readonly }] }
+  let active = null;
+  let ws = null;
+  let ready = false;
+  let disposed = false;
+  const waiting = new Map();
+  let nextRef = 1;
+  const byId = new Map();
+
+  const message = (key, withEnable) => {
+    panesEl.replaceChildren();
+    const m = document.createElement("div");
+    m.className = "bp-term-msg";
+    m.textContent = t(key);
+    if (withEnable) {
+      const on = button("term.enable", "tip.term.enable", async () => {
+        try {
+          await setTerminalEnabled(token, true);
+          connect();
+          newTab();
+        } catch {
+          /* the switch stays off */
+        }
+      });
+      m.append(document.createElement("br"), on);
+    }
+    panesEl.appendChild(m);
+  };
+
+  const renderTabs = () => {
+    tabsEl.replaceChildren(
+      ...tabs.map((tab, i) => {
+        const b = button(tab.title, "tip.term.tab", () => show(tab));
+        b.textContent = tab.title || `${t("term.title")} ${i + 1}`;
+        if (tab === active) b.classList.add("on");
+        return b;
+      }),
+    );
+  };
+
+  const fitAll = () => {
+    if (!active) return;
+    for (const p of active.panes) {
+      try {
+        p.fit.fit();
+      } catch {
+        /* hidden */
+      }
+      if (p.id && ready) ws.send(JSON.stringify({ t: "resize", id: p.id, cols: p.term.cols, rows: p.term.rows }));
+    }
+  };
+
+  const show = (tab) => {
+    active = tab;
+    panesEl.replaceChildren(...tab.panes.map((p) => p.box));
+    renderTabs();
+    requestAnimationFrame(fitAll);
+    tab.panes[tab.panes.length - 1]?.term.focus();
+  };
+
+  const makePane = (readonly) => {
+    const box = document.createElement("div");
+    box.className = "bp-term-pane";
+    const term = new Terminal({ cursorBlink: !readonly, disableStdin: readonly, fontSize: 13, fontFamily: "ui-monospace, Menlo, Consolas, monospace", theme: theme(), scrollback: 5000, convertEol: readonly });
+    const fit = new FitAddon();
+    term.loadAddon(fit);
+    term.open(box);
+    return { term, fit, box, readonly };
+  };
+
+  const startShell = (pane) => {
+    pane.ref = nextRef++;
+    pane.go = () => ws.send(JSON.stringify({ t: "open", ref: pane.ref, cwd, cols: pane.term.cols, rows: pane.term.rows }));
+    waiting.set(pane.ref, pane);
+    if (ready) pane.go();
+    pane.term.onData((d) => {
+      if (!pane.id || !ready) return;
+      // Huge pastes go in pieces: a message has a size limit.
+      for (let i = 0; i < d.length; i += MAX_INPUT) ws.send(JSON.stringify({ t: "in", id: pane.id, d: d.slice(i, i + MAX_INPUT) }));
+    });
+  };
+
+  const connect = () => {
+    if (ws && ws.readyState <= 1) return;
+    ready = false;
+    ws = new WebSocket(`${location.protocol === "https:" ? "wss" : "ws"}://${location.host}/api/terminal`);
+    ws.onopen = () => ws.send(JSON.stringify({ t: "auth", token }));
+    ws.onmessage = (e) => {
+      let m;
+      try {
+        m = JSON.parse(e.data);
+      } catch {
+        return;
+      }
+      if (m.t === "ready") {
+        ready = true;
+        for (const p of waiting.values()) p.go();
+      } else if (m.t === "opened") {
+        const p = waiting.get(m.ref);
+        if (!p) return;
+        waiting.delete(m.ref);
+        p.id = m.id;
+        byId.set(m.id, p);
+        fitAll();
+      } else if (m.t === "out") byId.get(m.id)?.term.write(m.d);
+      else if (m.t === "exit") {
+        const p = byId.get(m.id);
+        if (p) {
+          p.term.write(`\r\n\x1b[2m${ended(m.code)}\x1b[0m\r\n`);
+          byId.delete(m.id);
+          p.id = undefined;
+        }
+      } else if (m.t === "error") {
+        const p = waiting.get(m.ref);
+        waiting.delete(m.ref);
+        const text = m.error === "folder_not_authorised" ? t("term.folder") : m.error === "too_many_terminals" ? t("term.many") : t("term.failed");
+        if (p) p.term.write(`\x1b[31m${text}\x1b[0m\r\n`);
+      }
+    };
+    ws.onclose = (e) => {
+      ready = false;
+      if (disposed) return;
+      if (e.code === 4409 || e.code === 1006) {
+        terminalStatus(token).then((s) => {
+          if (!s.available) message("term.unavailable", false);
+          else if (!s.enabled) message("term.off", true);
+        }, () => undefined);
+      }
+    };
+  };
+
+  function newTab() {
+    const pane = makePane(false);
+    const tab = { title: "", panes: [pane] };
+    tabs.push(tab);
+    show(tab);
+    startShell(pane);
+    return tab;
+  }
+
+  function split() {
+    if (!active || active.readonly) return newTab();
+    if (active.panes.length >= 2) return active;
+    const pane = makePane(false);
+    active.panes.push(pane);
+    show(active);
+    startShell(pane);
+    return active;
+  }
+
+  function close() {
+    if (!active) return;
+    for (const p of active.panes) {
+      if (p.id && ready) ws.send(JSON.stringify({ t: "close", id: p.id }));
+      byId.delete(p.id);
+      p.term.dispose();
+    }
+    tabs.splice(tabs.indexOf(active), 1);
+    if (tabs.length) show(tabs[tabs.length - 1]);
+    else {
+      active = null;
+      panesEl.replaceChildren();
+      renderTabs();
+    }
+  }
+
+  let agentTab = null;
+  /** Shows what an agent runs (approved in Projects): read-only, nothing is typed into a shell. */
+  function runVisible(cmd) {
+    if (!agentTab || !tabs.includes(agentTab)) {
+      const pane = makePane(true);
+      agentTab = { title: t("term.agent"), panes: [pane], readonly: true };
+      tabs.push(agentTab);
+    }
+    show(agentTab);
+    const term = agentTab.panes[0].term;
+    term.write(`\x1b[2m$ ${String(cmd).replace(/[\x00-\x08\x0b-\x1f\x7f]/g, "")}\x1b[0m\r\n`);
+    return {
+      write: (text) => term.write(String(text)),
+      done: (code) => term.write(`\x1b[2m${ended(code)}\x1b[0m\r\n\r\n`),
+    };
+  }
+
+  function dispose() {
+    disposed = true;
+    try {
+      ws && ws.close();
+    } catch {
+      /* closed */
+    }
+    for (const tab of tabs) for (const p of tab.panes) p.term.dispose();
+    resize.disconnect();
+    window.removeEventListener("pagehide", dispose);
+    el.replaceChildren();
+  }
+
+  bar.append(tabsEl, button("term.new", "tip.term.new", () => newTab()), button("term.split", "tip.term.split", () => split()), button("term.close", "tip.term.close", () => close()));
+  const resize = new ResizeObserver(() => fitAll());
+  resize.observe(panesEl);
+  // Closing the page ends its shells: the server closes them with the connection too.
+  window.addEventListener("pagehide", dispose);
+
+  terminalStatus(token).then(
+    (s) => {
+      if (disposed) return;
+      if (!s.available) return message("term.unavailable", false);
+      if (!s.enabled) return message("term.off", true);
+      connect();
+      newTab();
+    },
+    () => message("term.failed", false),
+  );
+
+  return { newTab, split, close, runVisible, dispose, fit: fitAll };
+}

package/ui/vendor/addon-fit.mjs

@@ -0,0 +1,18 @@
+/**
+ * Copyright (c) 2014-2024 The xterm.js authors. All rights reserved.
+ * @license MIT
+ *
+ * Copyright (c) 2012-2013, Christopher Jeffrey (MIT License)
+ * @license MIT
+ *
+ * Originally forked from (with the author's permission):
+ *   Fabrice Bellard's javascript vt100 for jslinux:
+ *   http://bellard.org/jslinux/
+ *   Copyright (c) 2011 Fabrice Bellard
+ */
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *  Licensed under the MIT License. See License.txt in the project root for license information.
+ *--------------------------------------------------------------------------------------------*/
+var h=2,_=1,o=class{activate(e){this._terminal=e}dispose(){}fit(){let e=this.proposeDimensions();if(!e||!this._terminal||isNaN(e.cols)||isNaN(e.rows))return;let t=this._terminal._core;(this._terminal.rows!==e.rows||this._terminal.cols!==e.cols)&&(t._renderService.clear(),this._terminal.resize(e.cols,e.rows))}proposeDimensions(){if(!this._terminal||!this._terminal.element||!this._terminal.element.parentElement)return;let t=this._terminal._core._renderService.dimensions;if(t.css.cell.width===0||t.css.cell.height===0)return;let s=this._terminal.options.scrollback===0?0:this._terminal.options.overviewRuler?.width||14,r=window.getComputedStyle(this._terminal.element.parentElement),l=parseInt(r.getPropertyValue("height")),a=Math.max(0,parseInt(r.getPropertyValue("width"))),i=window.getComputedStyle(this._terminal.element),n={top:parseInt(i.getPropertyValue("padding-top")),bottom:parseInt(i.getPropertyValue("padding-bottom")),right:parseInt(i.getPropertyValue("padding-right")),left:parseInt(i.getPropertyValue("padding-left"))},m=n.top+n.bottom,d=n.right+n.left,c=l-m,p=a-d-s;return{cols:Math.max(h,Math.floor(p/t.css.cell.width)),rows:Math.max(_,Math.floor(c/t.css.cell.height))}}};export{o as FitAddon};
+//# sourceMappingURL=addon-fit.mjs.map

package/ui/vendor/xterm.css

@@ -0,0 +1,285 @@
+/**
+ * Copyright (c) 2014 The xterm.js authors. All rights reserved.
+ * Copyright (c) 2012-2013, Christopher Jeffrey (MIT License)
+ * https://github.com/chjj/term.js
+ * @license MIT
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ *
+ * Originally forked from (with the author's permission):
+ *   Fabrice Bellard's javascript vt100 for jslinux:
+ *   http://bellard.org/jslinux/
+ *   Copyright (c) 2011 Fabrice Bellard
+ *   The original design remains. The terminal itself
+ *   has been extended to include xterm CSI codes, among
+ *   other features.
+ */
+
+/**
+ *  Default styles for xterm.js
+ */
+
+.xterm {
+    cursor: text;
+    position: relative;
+    user-select: none;
+    -ms-user-select: none;
+    -webkit-user-select: none;
+}
+
+.xterm.focus,
+.xterm:focus {
+    outline: none;
+}
+
+.xterm .xterm-helpers {
+    position: absolute;
+    top: 0;
+    /**
+     * The z-index of the helpers must be higher than the canvases in order for
+     * IMEs to appear on top.
+     */
+    z-index: 5;
+}
+
+.xterm .xterm-helper-textarea {
+    padding: 0;
+    border: 0;
+    margin: 0;
+    /* Move textarea out of the screen to the far left, so that the cursor is not visible */
+    position: absolute;
+    opacity: 0;
+    left: -9999em;
+    top: 0;
+    width: 0;
+    height: 0;
+    z-index: -5;
+    /** Prevent wrapping so the IME appears against the textarea at the correct position */
+    white-space: nowrap;
+    overflow: hidden;
+    resize: none;
+}
+
+.xterm .composition-view {
+    /* TODO: Composition position got messed up somewhere */
+    background: #000;
+    color: #FFF;
+    display: none;
+    position: absolute;
+    white-space: nowrap;
+    z-index: 1;
+}
+
+.xterm .composition-view.active {
+    display: block;
+}
+
+.xterm .xterm-viewport {
+    /* On OS X this is required in order for the scroll bar to appear fully opaque */
+    background-color: #000;
+    overflow-y: scroll;
+    cursor: default;
+    position: absolute;
+    right: 0;
+    left: 0;
+    top: 0;
+    bottom: 0;
+}
+
+.xterm .xterm-screen {
+    position: relative;
+}
+
+.xterm .xterm-screen canvas {
+    position: absolute;
+    left: 0;
+    top: 0;
+}
+
+.xterm-char-measure-element {
+    display: inline-block;
+    visibility: hidden;
+    position: absolute;
+    top: 0;
+    left: -9999em;
+    line-height: normal;
+}
+
+.xterm.enable-mouse-events {
+    /* When mouse events are enabled (eg. tmux), revert to the standard pointer cursor */
+    cursor: default;
+}
+
+.xterm.xterm-cursor-pointer,
+.xterm .xterm-cursor-pointer {
+    cursor: pointer;
+}
+
+.xterm.column-select.focus {
+    /* Column selection mode */
+    cursor: crosshair;
+}
+
+.xterm .xterm-accessibility:not(.debug),
+.xterm .xterm-message {
+    position: absolute;
+    left: 0;
+    top: 0;
+    bottom: 0;
+    right: 0;
+    z-index: 10;
+    color: transparent;
+    pointer-events: none;
+}
+
+.xterm .xterm-accessibility-tree:not(.debug) *::selection {
+  color: transparent;
+}
+
+.xterm .xterm-accessibility-tree {
+  font-family: monospace;
+  user-select: text;
+  white-space: pre;
+}
+
+.xterm .xterm-accessibility-tree > div {
+  transform-origin: left;
+  width: fit-content;
+}
+
+.xterm .live-region {
+    position: absolute;
+    left: -9999px;
+    width: 1px;
+    height: 1px;
+    overflow: hidden;
+}
+
+.xterm-dim {
+    /* Dim should not apply to background, so the opacity of the foreground color is applied
+     * explicitly in the generated class and reset to 1 here */
+    opacity: 1 !important;
+}
+
+.xterm-underline-1 { text-decoration: underline; }
+.xterm-underline-2 { text-decoration: double underline; }
+.xterm-underline-3 { text-decoration: wavy underline; }
+.xterm-underline-4 { text-decoration: dotted underline; }
+.xterm-underline-5 { text-decoration: dashed underline; }
+
+.xterm-overline {
+    text-decoration: overline;
+}
+
+.xterm-overline.xterm-underline-1 { text-decoration: overline underline; }
+.xterm-overline.xterm-underline-2 { text-decoration: overline double underline; }
+.xterm-overline.xterm-underline-3 { text-decoration: overline wavy underline; }
+.xterm-overline.xterm-underline-4 { text-decoration: overline dotted underline; }
+.xterm-overline.xterm-underline-5 { text-decoration: overline dashed underline; }
+
+.xterm-strikethrough {
+    text-decoration: line-through;
+}
+
+.xterm-screen .xterm-decoration-container .xterm-decoration {
+	z-index: 6;
+	position: absolute;
+}
+
+.xterm-screen .xterm-decoration-container .xterm-decoration.xterm-decoration-top-layer {
+	z-index: 7;
+}
+
+.xterm-decoration-overview-ruler {
+    z-index: 8;
+    position: absolute;
+    top: 0;
+    right: 0;
+    pointer-events: none;
+}
+
+.xterm-decoration-top {
+    z-index: 2;
+    position: relative;
+}
+
+
+
+/* Derived from vs/base/browser/ui/scrollbar/media/scrollbar.css */
+
+/* xterm.js customization: Override xterm's cursor style */
+.xterm .xterm-scrollable-element > .scrollbar {
+    cursor: default;
+}
+
+/* Arrows */
+.xterm .xterm-scrollable-element > .scrollbar > .scra {
+	cursor: pointer;
+	font-size: 11px !important;
+}
+
+.xterm .xterm-scrollable-element > .visible {
+	opacity: 1;
+
+	/* Background rule added for IE9 - to allow clicks on dom node */
+	background:rgba(0,0,0,0);
+
+	transition: opacity 100ms linear;
+	/* In front of peek view */
+	z-index: 11;
+}
+.xterm .xterm-scrollable-element > .invisible {
+	opacity: 0;
+	pointer-events: none;
+}
+.xterm .xterm-scrollable-element > .invisible.fade {
+	transition: opacity 800ms linear;
+}
+
+/* Scrollable Content Inset Shadow */
+.xterm .xterm-scrollable-element > .shadow {
+	position: absolute;
+	display: none;
+}
+.xterm .xterm-scrollable-element > .shadow.top {
+	display: block;
+	top: 0;
+	left: 3px;
+	height: 3px;
+	width: 100%;
+	box-shadow: var(--vscode-scrollbar-shadow, #000) 0 6px 6px -6px inset;
+}
+.xterm .xterm-scrollable-element > .shadow.left {
+	display: block;
+	top: 3px;
+	left: 0;
+	height: 100%;
+	width: 3px;
+	box-shadow: var(--vscode-scrollbar-shadow, #000) 6px 0 6px -6px inset;
+}
+.xterm .xterm-scrollable-element > .shadow.top-left-corner {
+	display: block;
+	top: 0;
+	left: 0;
+	height: 3px;
+	width: 3px;
+}
+.xterm .xterm-scrollable-element > .shadow.top.left {
+	box-shadow: var(--vscode-scrollbar-shadow, #000) 6px 0 6px -6px inset;
+}