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:

enable sockets for local virt hosts
[etc/ssh.git] / .ssh / config.in
1 Host 127.0.0.1 | localhost
2   ForwardAgent yes
3   ForwardX11 yes
4   ForwardX11Trusted yes
5   NoHostAuthenticationForLocalhost yes
6
7 ### CHARADE KVM HOST
8
9 Host charade.madduck.net | charade
10   ForwardAgent yes
11   Hostname charade.madduck.net
12 Host charade-vnc
13   ControlMaster no
14   ControlPath none
15   Hostname charade.madduck.net
16
17 Host emily.madduck.net | emily
18   ForwardAgent yes
19   Hostname emily.madduck.net
20
21 Host matilda.madduck.net | matilda
22   ForwardAgent yes
23   Hostname matilda.madduck.net
24
25 Host vizier.madduck.net | vizier
26   ForwardAgent yes
27   Hostname vizier.madduck.net
28 Host admin.madduck.net | admin
29   Hostname admin.madduck.net
30   HostKeyAlias vizier.madduck.net
31   User git
32
33 Host ambassador.madduck.net | ambassador
34   ForwardAgent yes
35   Hostname ambassador.madduck.net
36
37 Host alan.madduck.net | alan
38   ForwardAgent yes
39   Hostname alan.madduck.net
40
41 Host swan.madduck.net | swan
42   ForwardAgent yes
43   Hostname swan.madduck.net
44 Host irc-host.madduck.net | irc-host
45   User madduck
46   HostKeyAlias swan.madduck.net
47   ConnectTimeout 60
48
49 Host pulse.madduck.net | pulse
50   ForwardAgent yes
51   Hostname pulse.madduck.net
52
53 Host seamus.madduck.net | seamus
54   ForwardAgent yes
55   Hostname seamus.madduck.net
56
57 ### KHYBER KVM HOST
58
59 Host khyber.madduck.net | khyber
60   ForwardAgent yes
61   Hostname khyber.madduck.net
62 Host khyber-vnc
63   ControlMaster no
64   ControlPath none
65   Hostname khyber.madduck.net
66
67 Host bike.madduck.net | bike
68   ForwardAgent yes
69   Hostname bike.madduck.net
70
71 Host lotus.madduck.net | lotus
72   ForwardAgent yes
73   Hostname lotus.madduck.net
74 Host git.madduck.net | git
75   User git
76   HostKeyAlias lotus.madduck.net
77 Host git.debian.ch
78   User git
79   HostKeyAlias lotus.madduck.net
80 Host martin-krafft.net
81   User madduck
82   HostKeyAlias lotus.madduck.net
83 Host phd.martin-krafft.net
84   User madduck
85   HostKeyAlias lotus.madduck.net
86 Host madduck.net
87   User madduck
88   HostKeyAlias lotus.madduck.net
89
90 Host jugband.madduck.net | jugband
91   ForwardAgent yes
92   Hostname jugband.madduck.net
93
94 Host domine.madduck.net | domine
95   ForwardAgent yes
96   Hostname domine.madduck.net
97 Host imap.madduck.net
98   HostKeyAlias domine.madduck.net
99
100 Host aika.krafftwerk.de | aika
101   Hostname aika.krafftwerk.de
102
103 Host sysyphus.madduck.net | sysyphus
104   ForwardAgent yes
105   Hostname sysyphus.madduck.net
106 Host ssh443.madduck.net | ssh443
107   HostKeyAlias sysyphus.madduck.net
108   ForwardAgent yes
109   Port 443
110 Host openvpn.madduck.net | openvpn
111   HostKeyAlias sysyphus.madduck.net
112
113 ### UNI ZURICH MACHINES
114
115 Host diamond.madduck.net | diamond
116   ForwardAgent yes
117   Hostname diamond.madduck.net
118 Host debian.madduck.net | debian
119   HostKeyAlias diamond.madduck.net
120 Host scratch.madduck.net | scratch
121   User madduck
122   HostKeyAlias diamond.madduck.net
123 Host tunes.madduck.net | tunes
124   AddressFamily inet
125   ControlMaster no
126   Hostname tunes.madduck.net
127   HostKeyAlias diamond.madduck.net
128   IPQoS lowdelay af13
129 Host flics.madduck.net | flics
130   AddressFamily inet
131   ControlMaster no
132   Hostname flics.madduck.net
133   HostKeyAlias diamond.madduck.net
134   IPQoS lowdelay af13
135
136 Host shelter.madduck.net | shelter
137   ForwardAgent yes
138   Hostname shelter.madduck.net
139 Host backup.madduck.net | backup
140   HostKeyAlias shelter.madduck.net
141
142 Host sergei.ifi.uzh.ch | sergei
143   Hostname sergei.ifi.uzh.ch
144   User krafft
145 Host nikolai.ifi.uzh.ch | nikolai
146   Hostname nikolai.ifi.uzh.ch
147   User krafft
148 Host franz.ifi.uzh.ch | franz
149   Hostname franz.ifi.uzh.ch
150   User krafft
151
152 ### PIPER / BYTEMARK
153
154 Host piper.madduck.net | piper
155   Hostname piper.madduck.net
156
157 ### CIRRUS / HETZNER
158
159 Host cirrus.madduck.net | cirrus
160   Hostname cirrus.madduck.net
161
162 ### ARNOLD / GPLHOST
163
164 Host arnold.madduck.net | arnold
165   Hostname arnold.madduck.net
166 Host arnold-host | arnold-host.madduck.net
167   Hostname arnold-host.madduck.net
168   User xen05
169
170 ### GERN
171
172 Host wall.gern.madduck.net | wall
173   CheckHostIP no
174   ForwardAgent yes
175   Hostname wall.gern.madduck.net
176
177 Host julia.gern.madduck.net | julia
178   Hostname julia.gern.madduck.net
179   ForwardAgent yes
180   ForwardX11 yes
181
182 Host git.gern.madduck.net | git.gern
183   ForwardAgent yes
184   HostKeyAlias julia.gern.madduck.net
185 Host annex.gern.madduck.net | annex.gern
186   ForwardAgent yes
187   HostKeyAlias julia.gern.madduck.net
188 Host shared.gern.madduck.net | shared.gern
189   ForwardAgent yes
190   HostKeyAlias julia.gern.madduck.net
191
192 Host pict.gern.madduck.net | pict
193   Hostname pict.gern.madduck.net
194   ForwardAgent yes
195   ForwardX11 yes
196
197 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
198   StrictHostKeyChecking no
199   UserKnownHostsFile /dev/null
200
201 ### LEHEL
202
203 Host clegg.lehel.madduck.net | clegg.lehel | clegg
204   CheckHostIP no
205   ForwardAgent yes
206   Hostname clegg.lehel.madduck.net
207
208 Host albatross.lehel.madduck.net | albatross.lehel | albatross
209   Hostname albatross.lehel.madduck.net
210   ForwardAgent yes
211   ForwardX11 yes
212   HostKeyAlias albatross.lehel
213
214 ### GAUTING
215
216 Host embryo.gauting.madduck.net | embryo
217   CheckHostIP no
218   ForwardAgent yes
219   Hostname embryo.gauting.madduck.net
220   HostKeyAlias embryo.gauting.madduck.net
221
222 Host mother.gauting | mother | mother.gauting.madduck.net
223   Hostname mother.gauting
224   ForwardAgent yes
225   ForwardX11 yes
226 Host mothere
227   Hostname embryo.gauting.madduck.net
228   Port 22021
229   CheckHostIP no
230   ForwardAgent yes
231   ForwardX11 yes
232   HostKeyAlias mother.gauting.madduck.net
233
234 Host brick.gauting.madduck.net | brick
235   Hostname brick.gauting.madduck.net
236   ForwardAgent yes
237   ForwardX11 yes
238 Host bricke
239   Hostname embryo.gauting.madduck.net
240   Port 22222
241   CheckHostIP no
242   ForwardAgent yes
243   ForwardX11 yes
244   HostKeyAlias brick.gauting.madduck.net
245
246 ### MOUNT VICTORIA
247
248 Host atom.mtvic.madduck.net | atom.mtvic | atom
249   Hostname atom.mtvic.madduck.net
250   ForwardAgent yes
251
252 ### ROAD WARRIORS
253
254 Host fishbowl.*
255   CheckHostIP no
256   ForwardAgent yes
257   ForwardX11 yes
258   HostKeyAlias fishbowl
259
260 Host fishbowl | fishbowl.rw.madduck.net
261   CheckHostIP no
262   ForwardAgent yes
263   ForwardX11 yes
264   HostKeyAlias fishbowl
265   ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,rw}.madduck.net; eval fping -aAC1 -t100 $TRIES; eval fping6 -aAC1 -t100 $TRIES; wait) 2>&1 | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; nc -vq0 \${TARGETS%%%%,*} %p"
266
267 ### LOCAL VIRT HOSTS
268
269 Host red | green | blue | yellow | black | white | orange | violet | wafer
270   CanonicalDomains virt
271   CanonicalizeHostname yes
272   CanonicalizeFallbackLocal no
273   CanonicalizeMaxDots 0
274   VerifyHostKeyDNS no
275   CheckHostIP no
276   ForwardAgent yes
277   StrictHostKeyChecking no
278   UserKnownHostsFile /dev/null
279
280 ### DEBIAN
281
282 Host alioth.debian.org | anonscm.alioth.debian.org | svn.debian.org | git.debian.org | hg.debian.org | cvs.debian.org
283   HostKeyAlias moszumanska.debian.org
284
285 Host people.debian.org | people
286   Hostname people.debian.org
287   HostKeyAlias paradis.debian.org
288
289 Host master.debian.org | master
290   Hostname master.debian.org
291
292 Match host *.debian.org
293   StrictHostKeyChecking ask
294   VerifyHostKeyDNS ask
295   User madduck
296
297 ### DEBCONF
298
299 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
300   Hostname nelson.debconf.org
301   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
302
303 Host kent.debconf.org | kent
304   Hostname kent.debconf.org
305   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
306
307 ### PENNY
308
309 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
310   Hostname lion.mjollnir.org
311
312 ### TILDE CLUB
313
314 Host remotes.club
315   Hostname remotes.club
316   Port 9022
317   User madduck
318
319 Host tilde.camp
320   Hostname tilde.camp
321   User madduck
322
323 Host squiggle.city
324   Hostname squiggle.city
325   User madduck
326
327 Host tilde.city
328   Hostname 001.tilde.city
329   User madduck
330
331 ### NZ
332
333 Host workbuffer.org | nz
334   Hostname workbuffer.org
335   User madduck
336
337 ### MISC
338
339 Host github.com | github
340   Hostname github.com
341   User git
342
343 ### DEFAULTS
344
345 Match host *.madduck.net
346   StrictHostKeyChecking ask
347   VerifyHostKeyDNS ask
348
349 Host *
350   IgnoreUnknown *
351   ConnectTimeout 10
352   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
353   ControlMaster auto
354   ControlPersist 30
355   ExitOnForwardFailure yes
356   ForwardAgent no
357   ForwardX11 no
358   ForwardX11Trusted no
359   HashKnownHosts no
360   NumberOfPasswordPrompts 2
361   PasswordAuthentication yes
362   Protocol 2
363   ServerAliveInterval 45
364   StrictHostKeyChecking yes
365   UpdateHostKeys no
366   VerifyHostKeyDNS ask
367   VisualHostKey no