Set login name to use for SSH per host

As a completely hypothetical example, suppose you boneheadly thought it would be nice to standardize your local login name to something different than on some existing servers.

You want standard scripts that assume current username to work— you wrote them to share, after all. So how to make this work?

Something like this in your ~/.ssh/config file (create and chmod 600 if it doesn't exist already) will work:

Host agaric-test
Hostname test.example.org
User bmelanco

Host agaric-git git.example.org
Hostname git.example.org
User bmelanco

Now ssh agaric-test uses the right server and username. The second example also aliases the name itself, so that it is matched and the different user is used— even when we aren't using the shortcut.