Name your servers.
December 12, 2012 , posted in terminal, ssh, gnu/linux, hack
If your day involves ssh-ing into various servers, you know how cumbersome is to type all that details again and again. When the number becomes large, you tend to confuse between host names, IPs and usernames.
But, ssh allows you to alias them into cute nicknames you prefer.
The configuration file needed to be edited is
The sample configuration that should be append to this file for adding alias server to
firstname.lastname@example.org is :
Host server Hostname example.org User user
Now all you have to do is
$ ssh server