summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/cloud9.md9
-rw-r--r--docs/design.typ4
2 files changed, 10 insertions, 3 deletions
diff --git a/docs/cloud9.md b/docs/cloud9.md
index db547afc..e18130ef 100644
--- a/docs/cloud9.md
+++ b/docs/cloud9.md
@@ -1,8 +1,11 @@
# cloud9 integration
-The sibling `../cloud9` package owns the base 9P2000 wire format, client and server
-connections, and TCP/Unix/QUIC transports. `build.zig.zon` uses the local package
-path so both checkouts can be developed together.
+The published `cloud9` package owns the base 9P2000 wire format, client and server
+connections, and TCP/Unix/QUIC transports. `build.zig.zon` pins a commit from
+`[email protected]:~gbrls/cloud9`, so `zig build` fetches it into `zig-pkg/` like every
+other dependency; no sibling checkout is required. Re-pin with
+`zig fetch --save=cloud9 git+https://git.sr.ht/~gbrls/cloud9#<commit>`, and swap in
+`.cloud9 = .{ .path = "../cloud9" }` while editing both packages at once.
`src/9p.zig` remains the adapter between cloud9 requests and Pardes filesystem
operations. Mounting, Unix namespace discovery and permissions, the editor event
diff --git a/docs/design.typ b/docs/design.typ
index f6e2e240..4c8956ba 100644
--- a/docs/design.typ
+++ b/docs/design.typ
@@ -1633,6 +1633,10 @@ zig-tree-sitter with 29 grammars for 28 languages (markdown takes two, block and
inline) — all pinned through `zig fetch` and wired in `build.zig`. The board's
`05-zig-p4` firmware toolchain is a separate sibling checkout.
+The 9P library is the one pinned dependency that is not third-party: `cloud9`
+lives at `git.sr.ht/~gbrls/cloud9`, pushed as `[email protected]:~gbrls/cloud9` and
+fetched from that commit's HTTPS URL, since zig has no `git+ssh` support.
+
Generated during the build: `highlights.scm` into an options module; the vendored
helix and zed theme sources into the generated half of the theme ring;
working-tree `.zig` sources into the web shell's read-only archive; and eight