GooDAnDReaDY/dsh-server-monitor ↗★ 0
@goodandready/dsh-server-monitor
Standalone read-only Linux server monitoring sidebar for DeepSeek Harness 适合需要在侧边栏快速查看 Linux 服务器状态的运维人员。
Install
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:GooDAnDReaDY/dsh-server-monitorREADME
Read the full README ↗Configuration
Manage profiles in the DSH settings card. Settings contain connection metadata only: do not place passwords, private-key contents, or passphrases in settings or config files.
| Field | Type | Default | Meaning |
|---|---|---|---|
profiles | array | [] | Plugin-owned SSH profiles. |
profiles[].id | string | generated | Stable profile ID. |
profiles[].name | string | empty | Display name. |
profiles[].host | string | empty | Linux host reachable from DSH. |
profiles[].port | number | 22 | SSH port. |
profiles[].username | string | root | Remote account; prefer restricted permissions. |
profiles[].authType | string | key | key or password. |
profiles[].privateKeyPath | string | empty | Optional key path on the DSH host. |
activeProfileId | string | empty | Selected profile ID. |
The settings card stores secret values in the plugin-owned vault on the DSH host. POSIX vault operations require verified owner-only permissions (0600).
SSH key generation and sharing with other plugins
You can generate a dedicated Ed25519 keypair directly from the settings card by clicking Generate SSH key. The private key is saved on the DSH host at ~/.dsh/keys/id_ed25519_dsh (mode 0600). The UI displays the public key and a one-line setup command to paste on your target server. Once executed, click Command ran — test connection to test connectivity immediately.
This key path can also be configured in other local plugins such as dsh-remote-workspace to share the same management key without duplicating credentials.