I have a server, named
gamma, constantly up and running at work. Sometimes I connect to it from at home, in which case I use the public IP address
188.8.131.52. Sometimes, I connect to it when I'm at work, and rather than bounce my packets around unnecessarily, I connect via the local IP address,
At the moment, I have them split up into two different entries in
Host gamma-local HostName 192.168.1.100 Port 22 User andreas Host gamma-remote HostName 184.108.40.206 Port 12345 User andreas
So, if I'm at work, all I have to type is
ssh gamma-local and I'm in; if I'm at home (or anywhere else in the world), I run
When connecting to the server, I would rather not have to type in a different name depending on where I am, I would rather that part be done automatically; for instance, in some cases I have automated scripts that connect who don't know where I am.
There is a question that solves this problem by using a Bash script to "try" to connect to the local one first, and if it doesn't connect, try to connect to the remote IP address. This is nice, but (1) seems inefficient (especially since sometimes you have to "wait" for connections to time out as they don't always send an error back immediately) and (2) requires Bash and lugging around the script.
Is there an alternate way of achieving this that doesn't rely on the use of Bash scripts, nor "testing" to see if the connection works first?