私の .ssh/config:
Host *.gnu.org
Compression yes
Host bixeon
User root
ProxyCommand ssh newton nc -w 1 %h 22
Host freebsd.polarhome.com freebsd
Port 715
Protocol 2,1
Hostname gate.polarhome.com
Host solaris.polarhome.com solaris
Port 725
Protocol 2,1
Hostname gate.polarhome.com
Host openbsd.polarhome.com openbsd
Port 735
Protocol 2,1
Hostname gate.polarhome.com
Host netbsd.polarhome.com netbsd
Port 745
Protocol 2,1
Hostname gate.polarhome.com
Host debian.polarhome.com debian
Port 755
Protocol 2,1
Hostname gate.polarhome.com
Host alpha.polarhome.com alpha
Port 765
Protocol 2,1
Hostname gate.polarhome.com
Host aix.polarhome.com aix
Port 775
Protocol 2,1
Hostname gate.polarhome.com
Host hpux.polarhome.com hpux
Port 785
Protocol 2,1
Hostname gate.polarhome.com
Host redhat.polarhome.com redhat
Port 795
Protocol 2,1
Hostname gate.polarhome.com
Host ultrix.polarhome.com ultrix
Port 805
Protocol 2,1
Hostname gate.polarhome.com
Host qnx.polarhome.com qnx
Port 815
Protocol 2,1
Hostname gate.polarhome.com
Host irix.polarhome.com irix
Port 825
Protocol 2,1
Hostname gate.polarhome.com
Host tru64.polarhome.com tru64
Port 835
Protocol 2,1
Hostname gate.polarhome.com
Host openindiana.polarhome.com openindiana
Port 845
Protocol 2,1
Hostname gate.polarhome.com
Host suse.polarhome.com suse
Port 855
Protocol 2,1
Hostname gate.polarhome.com
Host openstep.polarhome.com openstep
Port 865
Protocol 2,1
Hostname gate.polarhome.com
Host mandriva.polarhome.com mandriva
Port 875
Protocol 2,1
Hostname gate.polarhome.com
Host ubuntu.polarhome.com ubuntu
Port 885
Protocol 2,1
Hostname gate.polarhome.com
Host scosysv.polarhome.com scosysv
Port 895
Protocol 2,1
Hostname gate.polarhome.com
Host unixware.polarhome.com unixware
Port 905
Protocol 2,1
Hostname gate.polarhome.com
Host unknown1.polarhome.com unknown1
Port 915
Protocol 2,1
Hostname gate.polarhome.com
Host centos.polarhome.com centos
Port 925
Protocol 2,1
Hostname gate.polarhome.com
Host miros.polarhome.com miros
Port 935
Protocol 2,1
Hostname gate.polarhome.com
Host hurd.polarhome.com hurd
Port 945
# Hurd fails with compression
Compression no
Protocol 2,1
Hostname gate.polarhome.com
もっと短く書ける気がする。どのように？