ssh_config で設定した Host から HostName (IP) を引く

ssh -G の結果をフィルタすれば良い。

Host mysite
  HostName 203.0.113.200

$ ssh -G mysite | grep -E '\bhostname'
hostname 203.0.113.200

• awk - Given the Hostname, get Host from ~/.ssh/config - Stack Overflow

---

203.0.113.200 は Reserved IP addresses から適当に選んだ。

• 例として推奨されているドメイン名とIPアドレス - あどけない話