diff --git a/README.md b/README.md index 3b9454db..fef11330 100644 --- a/README.md +++ b/README.md @@ -410,7 +410,13 @@ settings page, where a sign-in and a first session are what is actually needed. On a box with several terminal users the root lists them instead, each behind their own login (add and close sessions from the tab bar — the tab's `×` arms on the first click and only closes on the second; restart/delete also on the -settings page) — and agents can spawn sibling sessions themselves (it's just +settings page). The grid button at the end of the tab bar lays **every** +session out at once, each tile a live terminal with the session's name above +it, which is what you want when four agents are working and one of them is +waiting on you; press a tile's name (or its tab) to go back to one terminal +filling the page. It is a URL too (`?view=grid`), so it survives a reload and +can be bookmarked, and a session added while it is open takes its place on the +grid without one — and agents can spawn sibling sessions themselves (it's just a file edit on their own account — handy for "have Codex cross-check this"). Open pages follow along live: a session added or removed anywhere — the CLI, an agent, a second browser tab — appears or disappears in the tab bar (and in diff --git a/modules/agent-box.nix b/modules/agent-box.nix index 5e09ef8e..9172b37c 100644 --- a/modules/agent-box.nix +++ b/modules/agent-box.nix @@ -360,7 +360,9 @@ let distro, and the two differ in ways worth knowing before you change anything outside $HOME.) Your workspace is at $AGENT_BOX_URL (`echo $AGENT_BOX_URL` prints it): one tab per session, and each session also - has a terminal of its own at ''${AGENT_BOX_URL}/. Share those URLs + has a terminal of its own at ''${AGENT_BOX_URL}/. The grid button at + the end of the tab bar (or ''${AGENT_BOX_URL}?view=grid) shows every session at + once, which is the URL to hand somebody who is watching several agents work. Share those URLs with anyone who needs to view or take over your session; the sign-in username is your own login name (`whoami`) and the password was set at deploy time. @@ -15332,25 +15334,110 @@ STYLE = """