dsh-plugin-ssh
dsh SSH remotes: manage remote harnesses over SSH and use the local machine as a thin client (codex-remote style). Ships a standalone dsh-ssh CLI plus a dsh profile bundle that adds an SSH Remotes panel to the local web GUI.
安装
$
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:ArcherLyu/dsh-plugin-ssh说明文档
阅读完整 README ↗Configuration
Remotes live in $DSH_HOME/remotes.json (default ~/.dsh/remotes.json):
{
"remotes": {
"prod": {
"host": "my-server",
"user": "deploy",
"port": 22,
"identity": "~/.ssh/id_ed25519",
"jump": null,
"workspace": "/srv/app",
"remotePort": 3080,
"localPort": 0,
"launch": null,
"sshArgs": []
}
}
}
Runtime tunnel state is kept per remote in $DSH_HOME/remotes-state/.json
so a later disconnect/status can find the spawned ssh process.
On the remote, the plugin records its own state at
~/.dsh/remotes/.json (pid, log path, port) and writes the harness log
to /.dsh-ssh.log.