use port 443 with home.wh0rd.org

diff --git a/.ssh/config b/.ssh/config
index f014573044b5ed590a258da827ca237837061bf4..b66278fbdd6ba3a9abae95c92ebd42f4313c67c3 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -8,6 +8,7 @@ Host wh0rd.org
 Host depot
        User root
        HostName home.wh0rd.org
+       Port 443
        IdentityFile ~/.ssh/id_dsa.vapier
 
 Host home