I was looking for a method to connect to arbitrary SSH servers through a known SSH proxy, without having to hardcode those target servers.
For example, let's say that I cannot access github.com from my current location, because port 22 is firewalled, but I can connect to my SSH server at home because it goes through a non-firewalled port. What is the most practical way to configure SSH so that when I explicitly want to connect through my proxy, it does so?
I wanted an easy solution; one that would be as simple as typing:
$ ssh [email protected]
An example would be "ssh [email protected]".