From: Mike Frysinger <vapier@gentoo.org>
Date: Sat, 31 Dec 2011 19:35:33 +0000 (-0500)
Subject: use port 443 with home.wh0rd.org
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=5ac1279feac47610f507e1bf915a134b0be23786;p=home.git

use port 443 with home.wh0rd.org
---

diff --git a/.ssh/config b/.ssh/config
index f014573..b66278f 100644
--- 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