]>
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:
ForwardAgent yes
Hostname lotus.madduck.net
ForwardAgent yes
Hostname lotus.madduck.net
+Host jugband.madduck.net | jugband
+ ForwardAgent yes
+ Hostname jugband.madduck.net
+
Host martin-krafft.net
User madduck
HostKeyAlias seamus.madduck.net
Host martin-krafft.net
User madduck
HostKeyAlias seamus.madduck.net
HostKeyAlias seamus.madduck.net
Host tunes.madduck.net | tunes
HostKeyAlias seamus.madduck.net
Host tunes.madduck.net | tunes
- Hostname bell.madduck.net
+ AddressFamily inet
+ ControlMaster no
+ Hostname tunes.madduck.net
HostKeyAlias bell.madduck.net
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
HostKeyAlias bell.madduck.net
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
ForwardX11 yes
# AddressFamily inet
Host pipere
ForwardX11 yes
# AddressFamily inet
Host pipere
- Hostname wall.madduck.net
+ Hostname wall.oerlikon. madduck.net
Port 22223
CheckHostIP no
ForwardAgent yes
Port 22223
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
# AddressFamily inet
Host diamonde
ForwardX11 yes
# AddressFamily inet
Host diamonde
- Hostname wall.madduck.net
+ Hostname wall.oerlikon. madduck.net
Port 22224
CheckHostIP no
ForwardAgent yes
Port 22224
CheckHostIP no
ForwardAgent yes
ForwardAgent yes
ForwardX11 yes
Host mothere
ForwardAgent yes
ForwardX11 yes
Host mothere
- Hostname embryo.madduck.net
+ Hostname embryo.gauting. madduck.net
Port 22221
CheckHostIP no
ForwardAgent yes
Port 22221
CheckHostIP no
ForwardAgent yes
ForwardAgent yes
ForwardX11 yes
Host bricke
ForwardAgent yes
ForwardX11 yes
Host bricke
- Hostname embryo.madduck.net
+ Hostname embryo.gauting. madduck.net
Port 22222
CheckHostIP no
ForwardAgent yes
Port 22222
CheckHostIP no
ForwardAgent yes
Host hg.debian.org
HostKeyAlias alioth.debian.org
User madduck
Host hg.debian.org
HostKeyAlias alioth.debian.org
User madduck
+Host cvs.debian.org
+ HostKeyAlias alioth.debian.org
+ User madduck
Host malo.debian.org | malo
Hostname malo.debian.org
Host malo.debian.org | malo
Hostname malo.debian.org
Host strauss.debian.net | strauss
Hostname strauss.debian.net
User madduck
Host strauss.debian.net | strauss
Hostname strauss.debian.net
User madduck
-
-Host cvs.debian.org
- HostKeyAlias gluck.debian.org
+Host bellini.debian.org | bellini
+ Hostname bellini.debian.org
User madduck
Host people.debian.org
User madduck
Host people.debian.org