blob: 7d103269d01dc4adfdb814e7c7609e1fbd3a1dbc [file] [edit]
Match Host *.example.com
Port 2222
User admin
IdentityFile ~/.ssh/prod_key
Host *.example.com
Port 22
User developer
IdentityFile ~/.ssh/dev_key