]>
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:
Hostname bell.madduck.net
HostKeyAlias bell.madduck.net
Hostname bell.madduck.net
HostKeyAlias bell.madduck.net
-Host vera.madduck.net | vera
- Hostname vera.madduck.net
- AddressFamily inet
-
-Host clegg.madduck.net | clegg
- Hostname clegg.madduck.net
- AddressFamily inet
-
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
Hostname sheep.umverkehr.ch
User madduck
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
Hostname sheep.umverkehr.ch
User madduck
ForwardX11 yes
# AddressFamily inet
ForwardX11 yes
# AddressFamily inet
-Host wall.oerlikon.madduck.net | oerlikon.no-ip.org | wall
+Host wall.oerlikon.madduck.net | wall
CheckHostIP no
ForwardAgent yes
CheckHostIP no
ForwardAgent yes
+ Hostname wall.oerlikon.madduck. net
HostKeyAlias wall.oerlikon.madduck.net
HostKeyAlias wall.oerlikon.madduck.net
-Host embryo.gauting.madduck.net | gauting.no-ip.org | embryo
+Host embryo.gauting.madduck.net | embryo
CheckHostIP no
ForwardAgent yes
CheckHostIP no
ForwardAgent yes
+ Hostname embryo.gauting.madduck.net
HostKeyAlias embryo.gauting.madduck.net
Host piper.oerlikon.madduck.net | piper
HostKeyAlias embryo.gauting.madduck.net
Host piper.oerlikon.madduck.net | piper
Host allegri.debian.org | allegri
Hostname allegri.debian.org
User madduck
Host allegri.debian.org | allegri
Hostname allegri.debian.org
User madduck
+Host ravel.debian.org | ravel
+ Hostname ravel.debian.org
+ User madduck
Host sergei.ifi.uzh.ch | sergei
Hostname sergei.ifi.uzh.ch
Host sergei.ifi.uzh.ch | sergei
Hostname sergei.ifi.uzh.ch
Hostname nikolai.ifi.uzh.ch
User krafft
Hostname nikolai.ifi.uzh.ch
User krafft
+Host gratis2.opro.ch | opro
+ Hostname 193.242.105.2
+ User madduck
+
Host *
# AddressFamily any
# BatchMode no
Host *
# AddressFamily any
# BatchMode no
# UsePrivilegedPort no
# UserKnownHostsFile ~/.ssh/known_hosts
# VerifyHostKeyDNS no
# UsePrivilegedPort no
# UserKnownHostsFile ~/.ssh/known_hosts
# VerifyHostKeyDNS no
# XAuthLocation /usr/X11R6/bin/xauth
# XAuthLocation /usr/X11R6/bin/xauth