]> 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:

make _NEW_KNOWN_HOSTS variable local
[etc/ssh.git] / .ssh / config.in
index dbc83368eb04ad0e37d327e8be587fa0725855f8..722d8f8127e99439b83d70b61ba96e24b3d467a0 100644 (file)
@@ -224,6 +224,13 @@ Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
 
+Host sergei.ifi.uzh.ch | sergei
+  Hostname sergei.ifi.uzh.ch
+  User krafft
+Host nikolai.ifi.uzh.ch | nikolai
+  Hostname nikolai.ifi.uzh.ch
+  User krafft
+
 Host *
 # AddressFamily any
 # BatchMode no