]>
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 backup.madduck.net | backup
HostKeyAlias shelter.madduck.net
Host backup.madduck.net | backup
HostKeyAlias shelter.madduck.net
-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 franz.ifi.uzh.ch | franz
- Hostname franz.ifi.uzh.ch
- User krafft
-
### PIPER / BYTEMARK
Host piper.madduck.net | piper
### PIPER / BYTEMARK
Host piper.madduck.net | piper
Host cirrus.madduck.net | cirrus
Hostname cirrus.madduck.net
Host cirrus.madduck.net | cirrus
Hostname cirrus.madduck.net
-### ARNOLD / GPLHOST
-
-Host arnold.madduck.net | arnold
- Hostname arnold.madduck.net
-Host arnold-host | arnold-host.madduck.net
- Hostname arnold-host.madduck.net
- User xen05
-
### GERN
Host wall.gern.madduck.net | wall
### GERN
Host wall.gern.madduck.net | wall
Host jugband.gern.madduck.net | jugband.gern | jugband
Hostname jugband.gern.madduck.net
ForwardX11 yes
Host jugband.gern.madduck.net | jugband.gern | jugband
Hostname jugband.gern.madduck.net
ForwardX11 yes
HostKeyAlias jugband.gern
Host visitor*.gern.madduck.net | visitor*.gern | visitor*
HostKeyAlias jugband.gern
Host visitor*.gern.madduck.net | visitor*.gern | visitor*
Hostname albatross.lehel.madduck.net
ProxyJump diamond.madduck.net
Hostname albatross.lehel.madduck.net
ProxyJump diamond.madduck.net
+Host visitor*.lehel.madduck.net | visitor*.lehel
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
+
### GAUTING
Host embryo.gauting.madduck.net | embryo
### GAUTING
Host embryo.gauting.madduck.net | embryo
ForwardX11 yes
HostKeyAlias mother.gauting.madduck.net
ForwardX11 yes
HostKeyAlias mother.gauting.madduck.net
-Host brick.gauting.madduck.net | brick
- Hostname brick.gauting.madduck.net
- ForwardAgent yes
- ForwardX11 yes
-Host bricke
- Hostname embryo.gauting.madduck.net
- Port 22222
- CheckHostIP no
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias brick.gauting.madduck.net
+Host visitor*.lehel.madduck.net | visitor*.lehel
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
Hostname kent.debconf.org
ProxyJump sysyphus.madduck.net
Hostname kent.debconf.org
ProxyJump sysyphus.madduck.net
-### PENNY
-
-Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
- Hostname lion.mjollnir.org
-
### TILDE CLUB
Host remotes.club
### TILDE CLUB
Host remotes.club