]>
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:
Host wall.oerlikon.madduck.net | wall
CheckHostIP no
ForwardAgent yes
Host wall.oerlikon.madduck.net | wall
CheckHostIP no
ForwardAgent yes
- Host wall.oerlikon.madduck.net
+ Hostname wall.oerlikon.madduck.net
HostKeyAlias wall.oerlikon.madduck.net
Host embryo.gauting.madduck.net | embryo
CheckHostIP no
ForwardAgent yes
HostKeyAlias wall.oerlikon.madduck.net
Host embryo.gauting.madduck.net | embryo
CheckHostIP no
ForwardAgent yes
- Host embryo.gauting.madduck.net
+ 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