X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/115dbf4cfd5da55cb369ca144044dae6b085f2b8..07646425242740104f246ef3c60441bf4865d57b:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 303e20a..9feaf55 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -11,10 +11,6 @@ Host pulse.madduck.net | pulse
 Host svn.madduck.net | svn
   User madduck
   HostKeyAlias pulse.madduck.net
-Host scratch.madduck.net | scratch
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
 Host debian.madduck.net | debian
   User madduck
   HostKeyAlias pulse.madduck.net
@@ -23,11 +19,6 @@ Host openvpn.madduck.net | openvpn
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
-Host ssh443.madduck.net | ssh443
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  ForwardAgent yes
-  Port 443
 Host backup.madduck.net | backup
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
@@ -56,6 +47,15 @@ Host git.debian.ch
   User git
   HostKeyAlias lotus.madduck.net
 
+Host sysyphus.madduck.net | sysyphus
+  ForwardAgent yes
+  Hostname sysyphus.madduck.net
+Host ssh443.madduck.net | ssh443
+  User madduck
+  HostKeyAlias sysyphus.madduck.net
+  ForwardAgent yes
+  Port 443
+
 Host jugband.madduck.net | jugband
   ForwardAgent yes
   Hostname jugband.madduck.net
@@ -104,6 +104,9 @@ Host flics.madduck.net | flics
   ControlMaster no
   Hostname flics.madduck.net
   HostKeyAlias diamond.madduck.net
+Host scratch.madduck.net | scratch
+  User madduck
+  HostKeyAlias diamond.madduck.net
 
 Host shelter.madduck.net | shelter
   ForwardAgent yes