Host home
HostName home.wh0rd.org
- Port 2
+ Port 443
+
+Host home-ports
+ HostName 10.8.8.14
+ #HostName home.wh0rd.org
+ Port 443
+ Compression yes
+ DynamicForward 22222
Host wh0rd-admin
User wh0rd
### PPC ###
Host ppc
- HostName luna.gentoo.osuosl.org
+ HostName rooster.ppc64.dev.gentoo.org
### S390 ###