Frequently I have to log in to a remote machine, but I cannot connect directly; I have to use a so called jump host. (This is often the case, if I have to use a VPN to connect to a customer site.) So I have to use two sshs to connect to the desired machine. Do I?

A common little problem in my daily work is to log on to another machine with a cryptic filename, e.g. machine007.domain.com. First I have find out, that the web server is on that machine. How easy would it be to type just ssh webserver! The sysadmins don’t want to put this neither into the name service nor into /etc/hosts. But there is help.