]>
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 vizier.madduck.net | vizier
ForwardAgent yes
Hostname vizier.madduck.net
Host vizier.madduck.net | vizier
ForwardAgent yes
Hostname vizier.madduck.net
+Host admin.madduck.net | admin
+ Hostname admin.madduck.net
+ HostKeyAlias vizier.madduck.net
+ User git
Host ambassador.madduck.net | ambassador
ForwardAgent yes
Host ambassador.madduck.net | ambassador
ForwardAgent yes
Host openvpn.madduck.net | openvpn
HostKeyAlias sysyphus.madduck.net
Host openvpn.madduck.net | openvpn
HostKeyAlias sysyphus.madduck.net
-Host wots.madduck.net | wots
- ForwardAgent yes
- Hostname wots.madduck.net
-Host buildd.debian.madduck.net | buildd
- HostKeyAlias wots.madduck.net
-
### UNI ZURICH MACHINES
Host diamond.madduck.net | diamond
### UNI ZURICH MACHINES
Host diamond.madduck.net | diamond
User krafft
Host swan.madduck.net | swan
User krafft
Host swan.madduck.net | swan
Hostname swan.madduck.net
Hostname swan.madduck.net
+
+Host pulse.madduck.net | pulse
+ Hostname pulse.madduck.net
+
### ARNOLD / GPLHOST
Host arnold.madduck.net | arnold
### ARNOLD / GPLHOST
Host arnold.madduck.net | arnold
Hostname arnold.madduck.net
Host arnold-host | arnold-host.madduck.net
Hostname arnold-host.madduck.net
Hostname arnold.madduck.net
Host arnold-host | arnold-host.madduck.net
Hostname arnold-host.madduck.net
Host julia.gern.madduck.net | julia
Hostname julia.gern.madduck.net
ForwardAgent yes
Host julia.gern.madduck.net | julia
Hostname julia.gern.madduck.net
ForwardAgent yes
-Host juliae
- Hostname wall.gern.madduck.net
- Port 22002
- CheckHostIP no
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias julia.gern.madduck.net
Host git.gern.madduck.net | git.gern
ForwardAgent yes
HostKeyAlias julia.gern.madduck.net
Host git.gern.madduck.net | git.gern
ForwardAgent yes
HostKeyAlias julia.gern.madduck.net
-Host fishbowl.gern.madduck.net | fishbowl.gern
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias fishbowl
-
-Host galaxy-s2.phones.gern | galaxy-s2
- Hostname galaxy-s2.phones.gern
- HostKeyAlias galaxy-s2.phones.gern
- User root
-
Host pict.gern.madduck.net | pict
Hostname pict.gern.madduck.net
ForwardAgent yes
Host pict.gern.madduck.net | pict
Hostname pict.gern.madduck.net
ForwardAgent yes
-Host clegg.lehel.madduck.net | clegg
+Host clegg.lehel.madduck.net | clegg.lehel | clegg
CheckHostIP no
ForwardAgent yes
Hostname clegg.lehel.madduck.net
CheckHostIP no
ForwardAgent yes
Hostname clegg.lehel.madduck.net
ForwardAgent yes
ForwardX11 yes
HostKeyAlias albatross.lehel
ForwardAgent yes
ForwardX11 yes
HostKeyAlias albatross.lehel
-Host albatrosse
- Hostname wall.lehel.madduck.net
- Port 22032
- CheckHostIP no
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias albatross.lehel
-
-Host fishbowl.lehel.madduck.net | fishbowl.lehel
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias fishbowl
+Host fishbowl | fishbowl.gern | fishbowl.lehel
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
+ HostKeyAlias fishbowl
+ CanonicalizeHostname yes
+ CanonicalizeMaxDots 0
+ CanonicalDomains gern.madduck.net lehel.madduck.net rw.madduck.net
Hostname nelson.debconf.org
ProxyCommand ssh people.debian.org nc -q0 %h %p
Hostname nelson.debconf.org
ProxyCommand ssh people.debian.org nc -q0 %h %p
+### PENNY
+
+Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
+ Hostname lion.mjollnir.org
+
-Host remotes-club | remotes .club
Hostname remotes.club
Port 9022
User madduck
Hostname remotes.club
Port 9022
User madduck
-Host tilde-camp | tilde .camp
Hostname tilde.camp
User madduck
Hostname tilde.camp
User madduck
-Host squiggle-city | squiggle .city
Hostname squiggle.city
User madduck
Hostname squiggle.city
User madduck
+Host tilde.city
+ Hostname 001.tilde.city
+ User madduck
+
### NZ
Host workbuffer.org | nz
### NZ
Host workbuffer.org | nz