As I've spent more and more time using SSH with different machines, it has quickly become something of a bother looking up the IP address of each machine every time I needed to make a connection. As ever with these things, if you're willing to do a little digging, there's