Showing the last saved plugin snapshot.
better-er/dsh-edit-diff
“Client-side re-render of edit/write tool cards with a near-linear line-level diff that drops duplicate unchanged lines…”
Client-side re-render of edit/write tool cards with a near-linear line-level diff that drops duplicate unchanged lines and underlines the actual changed characters inside replaced lines.
zhu1090093659/dsh-web
Web UI plugin group for the dsh settings page: one first-level settings section that hosts the dsh-web family plugins' enable switches and configuration forms.
zhu1090093659/dsh-web
Remote SSH operations for the dsh web GUI: host config store (~/.dsh/dsh-ssh.json, import from ~/.ssh/config), a persistent ssh2 connection pool with jump-host support, exec.
zhu1090093659/dsh-web
Task board for the dsh web GUI: a sidebar multi-column kanban whose cards run in real DSH agent sessions and can also be scheduled with cron expressions, executed host-side even with the browser closed.
zhu1090093659/dsh-web
Plugin and skin collection for the DSH Web UI: task board, Git graph, right-side panel, remote mobile UI, pet, live token stats, and a skin center.