On Mon, 3 Apr 2006, Jima wrote:
> Host router.mydomain.net
>   Port 2222
>   CheckHostIP no
>
> Host box1.mydomain.net
>   Port 2223
>   CheckHostIP no
>
> Host box2.mydomain.net
>   Port 2224
>   CheckHostIP no

You can also specify:

Host sillyname
 	hostname	realhostname.example.com
 	port		7322

I use this for a VM that has a different port to SSH to to get management 
access.. this way, I can ssh to 'hostname-mgmt', and get to the management 
port, with no key errors or anything.

------------------------------------------------------------------------
| nate carlson | natecars at natecarlson.com | http://www.natecarlson.com |
|       depriving some poor village of its idiot since 1981            |
------------------------------------------------------------------------