概览
@mi-lu-uncle/dsh-session-delete
DSH community plugin: add a permanent "Delete session" action to the session menu (DSH only ships archive).
README / ZH
插件文档
目录摘要
DSH community plugin: add a permanent "Delete session" action to the session menu (DSH only ships archive).
dsh.pub 核对固定版本的组合包契约、运行时事实与分发语义；完整 README 请查看源仓库。
在 GitHub 阅读完整 READMELIMITATIONS
已知限制
- 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.