Overview
dsh-restart-button
DSH restart button: adds a two-click-confirm 'Restart DSH' button beside the stock Session-log button in the session header. Clicking it spawns an independent process that kills the node on 3080 and relaunches dsh web. Triggered only by the user, never by the model.
README / EN
Package documentation
Registry summary
DSH restart button: adds a two-click-confirm 'Restart DSH' button beside the stock Session-log button in the session header. Clicking it spawns an independent process that kills the node on 3080 and relaunches dsh web. Triggered only by the user, never by the model.
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 GitHub