SSHでリモートホストにログインする際、ホストごとにユーザー名とかポート番号が違って(覚えるのが)面倒くさい!
$ ssh hoge@example.net
$ ssh -p 10022 user@example.com
$ ssh user2@192.168.11.5
そんなときは、 ~/.ssh/config
を記述すれば、ホストごとにデフォルトのユーザー名とポート番号などを指定できる。
# User を指定
Host example.net
User hoge
# User と Port を指定
Host example.com
User user
Port 10022
# HostName で実際に接続するホスト名/IPアドレスを指定することもできる
Host hoge
HostName 192.168.11.5
User user2
書き方とかは man 5 ssh_config を参照。あるいはググればいろいろ用例が出てくる。
実は常識だったりするのかもしれないが、知らなかったのでメモしておく。