概览
dsh-session-manager
Delete old DSH sessions and workspace data from the Web GUI: a per-session "Delete" row in the sidebar menu plus a management settings page with sizes, bulk delete, and a restorable trash — the Host half moves session directories under $DSH_HOME/trash/sessions.
README / ZH
插件文档
目录摘要
Delete old DSH sessions and workspace data from the Web GUI: a per-session "Delete" row in the sidebar menu plus a management settings page with sizes, bulk delete, and a restorable trash — the Host half moves session directories under $DSH_HOME/trash/sessions.
dsh.pub 核对固定版本的组合包契约、运行时事实与分发语义；完整 README 请查看源仓库。
在 GitHub 阅读完整 READMELIMITATIONS
已知限制
- The sessions root is derived as `$DSH_HOME/sessions` (default `~/.dsh/sessions`). A profile that configures a different persistence `root` is not detected (v0.1). - Session titles come from cached projection hints; sessions without hints show their id. - `restore` recreates the directory (and unarchives if we archived it), but a workspace whose registration was purged must be re-registered by opening the folder again. - After a delete, the sidebar hides the row via archive; the session summary disappears from lists on the next refresh.