WASD258-jpg/dsh-port-manager

WASD258-jpg★ 2JavaScript最后同步: 2026-08-15

在 GitHub 打开

DSH web port manager plugin: list local listening ports and hot-switch the DSH web port.

README 摘要

dsh-port-manager 中文 English A DeepSeek Harness (DSH) community plugin: stop pinning the DSH web UI to port 3080, see every listening port on the machine, and pick a free one. This is a community project. It is not an official DeepSeek plugin and does not imply any endorsement by DeepSeek. Features - Settings → Port Manager : view and switch the DSH web port from the UI - Local port inventory : TCP/UDP listening ports with address, process name, and PID; the current DSH port is highlighted - Free-port suggestions : recommended ports derived from the live inventory - Hot switch : rebind the HTTP listener without restarting the dsh process or losing sessions; the browser jumps to the new URL automatically - Persistence : the port is saved to $DSH HOME/dsh-port-manager.json and reused after restart - Occupancy guard : switching to a taken port is refused with the owning process and PID in the error Install Requires the DSH web profile ( @deepseek-ai/dsh-web-app ). 1. Clone or download this repository: 2. Install into the DSH profile dependency directory (choose one): Option A: npm install (recommended) Option B: copy from source On Linux/macOS use /.dsh (or $DSH HOME if set) instead of…

在 GitHub 查看完整 README →
工具/开发cordisdeepseek-harnessdshdsh-pluginport-managerweb ui

分类