给 Codex 发现的 SSH Host

桌面 Connections 只读具体别名，忽略 Host *。远端 login shell 的 PATH 里要有 codex。

Host devbox
  HostName devbox.example.com
  User you
  IdentityFile ~/.ssh/id_ed25519
  IdentitiesOnly yes