On 2006-11-07, Richard E. Silverman <res@qoxp.net> wrote:
>>>>>> "BC" == Bernard Chan <cbkihong@hotmail.com> writes:
> BC> He has made some kind of port forwarding on a gateway host to
> BC> protect some internal hosts behind. To SSH access the various
> BC> hosts behind, I am asked to SSH to the gateway host, and a set of
> BC> ports have been set aside which map to port 22 for each server
> BC> behind.
[...]
> [~/.ssh/config]
>
> host foo
> hostname gateway
> port 1
>
> host bar
> hostname gateway
> port 2

If you're using OpenSSH, also see HostKeyAlias (it's in most versions).
If you're using a 4.4x client or newer, it will append the port number
to the host identifier when you use a nonstandard port.

--
Darren Tucker (dtucker at zip.com.au)
GPG key 8FF4FA69 / D9A3 86E9 7EEE AF4B B2D4 37C9 C982 80C7 8FF4 FA69
Good judgement comes with experience. Unfortunately, the experience
usually comes from bad judgement.