jester/zlh-grind
1
0
Fork 0
Code Issues 14 Pull Requests Actions Packages Projects Releases Wiki Activity

Document Portal code-server controls

Browse Source
This commit is contained in:
jester 2026-04-16 20:43:10 +00:00
parent 4472c219b8
commit c22f759dfd
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Codex/Portal/CURRENT_STATE.md
View File

@ -1,6 +1,6 @@
# Portal — Current State # Portal — Current State
Verified against local Portal repo `jester/zpack-portal` commit `69a4c3c` on 2026-04-16. Verified against local Portal repo `jester/zpack-portal` commit `69a4c3c` on 2026-04-16, plus local working-tree updates for code-server controls.
This file records what is implemented now. This file records what is implemented now.
@ -38,6 +38,8 @@ This file records what is implemented now.
## Hosted IDE ## Hosted IDE
- console and server-list "Open IDE" actions request `/api/dev/{serverId}/ide-token`. - console and server-list "Open IDE" actions request `/api/dev/{serverId}/ide-token`.
- Portal opens the hosted URL returned by the API, falling back to the configured API base for relative URLs. - Portal opens the hosted URL returned by the API, falling back to the configured API base for relative URLs.
- DEV server console and server-list rows expose an `IDE` menu for code-server `start`, `restart`, and `stop` actions.
- code-server service actions call `/api/dev/{serverId}/codeserver/start`, `/api/dev/{serverId}/codeserver/restart`, and `/api/dev/{serverId}/codeserver/stop`.
## Dashboard / IA ## Dashboard / IA
- spotlight server card/dashboard refresh landed. - spotlight server card/dashboard refresh landed.