Bill Maidment wrote: > Can we also have a port number option for each server? Something > like servername:22 Nope, we can't have that. The reason is you can do that in your .ssh/config file: Host machine-not-on-port-22-he-he-he HostName real-machine-name Port 23 Check out "man ssh_config" for other goodies. Regards, David.