Host foo
HostName foo.com
User specialuser
IdentityFile /Users/XXX/.ssh/id_rsa
Host *
User defaultuser
On most machines, my UNIX login user name is XXX. But on one particular machine, it is YYY, how to modify this above .ssh/config file so it can work on all machines?