Overview
@mi-lu-uncle/dsh-session-delete
DSH community plugin: add a permanent "Delete session" action to the session menu (DSH only ships archive).
README / EN
Package documentation
Registry summary
DSH community plugin: add a permanent "Delete session" action to the session menu (DSH only ships archive).
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
- This is a community plugin built on DSH's public extension points (the session-menu slot `sidebar.workspaces.session.menu.item` plus host-side file/registry cleanup). If a future DSH release ships an official "delete session" API, prefer that. - Running sessions refuse deletion; if you really need one gone, stop it first (finish/archive its work) and then delete. - The full-text search index is a rebuildable read model of DSH's; right after a delete there may be briefly stale results until the next rebuild.