gm 4d680aa6dd Add SSH port field and an edit flow for existing SSH domains ...

- SSH domain add flow gains a 4th, optional "port" step; a non-empty
  port is appended to remote_address as "host:port" (WezTerm's native
  way to specify a non-default SSH port), matching how existing
  entries are parsed back out via the new split_remote_address helper.
- New "SSH 도메인 수정" entry in connection settings lists existing
  config.ssh_domains entries; picking one re-prompts each field
  (name/address/port/username) with the current value shown in the
  description, where leaving a field blank keeps the old value instead
  of cancelling (unlike the add flow, where blank cancels).
- update_ssh_domain locates the exact entry block by its original name
  (pattern built from append_ssh_domain's fixed write format, escaped
  for Lua pattern safety) and replaces it wholesale, so a rename is
  just "old name matched, new block written".

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

2026-07-18 00:56:51 +09:00

27 KiB

Raw Blame History

View Raw