github:mcf171/dsh-session-delete
sessiongit
Permanently delete a session from the session row menu — archives the id, removes the log directory and drops the row at once, with a Delete shortcut; built only on shipped extension points, and a session that was merely opened stays deletable.
下载量 / Downloads
0
Install
dsh plugin --profile web add github:mcf171/dsh-session-delete
Sandbox test
This plugin has not been tested yet. Submit a test →