dsh-plugin-connection-banner

A tiny DeepSeek Harness Web UI plugin that shows the existing ConnectionBanner when a previously connected Host becomes unavailable.

It addresses the missing visible disconnect state discussed in deepseek-harness #916. The plugin reuses Harness's public connection.hostDescription source, shell.overlay slot, and UI primitive; it adds no polling and no replacement shell.

Install

dsh plugin --profile web add github:yinren112/dsh-plugin-connection-banner#v0.1.0
dsh --profile web

For a source checkout, use pnpm dsh in place of dsh.

Behavior

• No banner during initial startup.
• After the first successful Host connection, a disconnect shows the standard reconnecting banner.
• The banner disappears automatically when the Host reconnects.

Uninstall

dsh plugin --profile web remove dsh-plugin-connection-banner

Compatibility

Built for the public DeepSeek Harness plugin APIs available in 0.1.0-rc.5 and later.

License

MIT