]> git.madduck.net Git - etc/ssh.git/blobdiff - .ssh/config.in

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

bike becomes gig
[etc/ssh.git] / .ssh / config.in
index aa6133465cb339272fde0ba0bf7e929cec564d03..d2586e6884151625e33312f233b2f8f5f4aeaa85 100644 (file)
@@ -53,6 +53,10 @@ Host pulse.madduck.net | pulse
   ForwardAgent yes
   Hostname pulse.madduck.net
 
+Host vera.madduck.net | vera
+  ForwardAgent yes
+  Hostname vera.madduck.net
+
 Host seamus.madduck.net | seamus
   ForwardAgent yes
   Hostname seamus.madduck.net
@@ -75,10 +79,6 @@ Host khyber-vnc
   ControlPath none
   Hostname khyber.madduck.net
 
-Host bike.madduck.net | bike
-  ForwardAgent yes
-  Hostname bike.madduck.net
-
 Host lotus.madduck.net | lotus
   ForwardAgent yes
   Hostname lotus.madduck.net
@@ -110,9 +110,16 @@ Host openvpn.madduck.net | openvpn
 
 ### UNI ZURICH MACHINES
 
+Host gig.madduck.net | gig
+  ForwardAgent yes
+  Hostname gig.madduck.net
+
 Host eugene.madduck.net | eugene
   ForwardAgent yes
   Hostname eugene.madduck.net
+Host eugene-luks
+  Hostname eugene.madduck.net
+  User root
 
 Host diamond.madduck.net | diamond
   ForwardAgent yes
@@ -358,8 +365,12 @@ Host gitlab.debian.net | git.fosscommunity.in
   User gitlab
 
 Host grimble.mtfk.de | grimble | mtfk
+  CheckHostIP no
   Hostname grimble.mtfk.de
-  Port 22
+
+Host lion.mjollnir.org | lion
+  Hostname lion.mjollnir.org
+  User madduck
 
 ### DEFAULTS