Overview
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 / EN
Package documentation
Registry summary
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 verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.
Read the full README on GitHubLIMITATIONS
Known limitations
- 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.