dsh-git-auth

Configuration

Open Settings → Plugins → Plugin configuration, or edit the git-auth section in the DSH settings document (normally $DSH_HOME/settings.yaml).

Setting	Default	Accepted value
ghHost	github.com	Bare GitHub hostname, optionally with a port
glabHost	gitlab.com	Bare GitLab hostname, optionally with a port
commandTimeoutMs	60000	Integer greater than or equal to 1
sshPath	Empty	Direct child of /.ssh; empty means /.ssh/id_ed25519
sshComment	Empty	Default comment passed to ssh-keygen
sshAddAgent	false	Whether generated keys are loaded with ssh-add by default

git-auth:
  glabHost: gitlab.example.com
  commandTimeoutMs: 60000
  sshPath: id_ed25519
  sshComment: developer@example.com
  sshAddAgent: true

Settings are resolved at tool-call time, so host-side settings-file updates do not require a plugin reinstall. DSH may restrict settings writes from remote browsers; edit the host settings file if the UI is read-only.

sshPath is a shared default name resolved separately inside every session workspace. ssh_key generate also writes that repository's local core.sshCommand; use action: configure to bind an existing key. That command uses /.ssh/known_hosts, so it also works when the DSH process has no HOME.