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