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:

lock vera to ipv4
[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 Host pulse.madduck.net | pulse
8   ForwardAgent yes
9   Hostname pulse.madduck.net
10   #AddressFamily inet
11 Host svn.madduck.net | svn
12   User madduck
13   HostKeyAlias pulse.madduck.net
14 Host git.madduck.net | git
15   User madduck
16   HostKeyAlias pulse.madduck.net
17   #AddressFamily inet
18 Host scratch.madduck.net | scratch
19   User madduck
20   HostKeyAlias pulse.madduck.net
21   #AddressFamily inet
22 Host debian.madduck.net | debian
23   User madduck
24   HostKeyAlias pulse.madduck.net
25   #AddressFamily inet
26 Host openvpn.madduck.net | openvpn
27   User madduck
28   HostKeyAlias pulse.madduck.net
29   #AddressFamily inet
30
31 Host martin-krafft.net
32   User madduck
33   HostKeyAlias seamus.madduck.net
34 Host phd.martin-krafft.net
35   User madduck
36   HostKeyAlias seamus.madduck.net
37 Host madduck.net
38   User madduck
39   HostKeyAlias seamus.madduck.net
40
41 Host tunes.madduck.net | tunes
42   Hostname bell.madduck.net
43   HostKeyAlias bell.madduck.net
44
45 Host vera.madduck.net | vera
46   Hostname vera.madduck.net
47   AddressFamily inet
48
49 Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
50   Hostname sheep.umverkehr.ch
51   User madduck
52
53 Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
54   CheckHostIP no
55   ForwardAgent yes
56   ForwardX11 yes
57 #  AddressFamily inet
58
59 Host wall.oerlikon.madduck.net | oerlikon.no-ip.org | wall
60   CheckHostIP no
61   ForwardAgent yes
62 #  AddressFamily inet
63   HostKeyAlias wall.oerlikon.madduck.net
64
65 Host embryo.gauting.madduck.net | gauting.no-ip.org | embryo
66   CheckHostIP no
67   ForwardAgent yes
68   HostKeyAlias embryo.gauting.madduck.net
69
70 Host piper.oerlikon.madduck.net | piper
71   Hostname piper.oerlikon.madduck.net
72   ForwardAgent yes
73   ForwardX11 yes
74 #  AddressFamily inet
75 Host pipere
76   Hostname wall.madduck.net
77   Port 22223
78   CheckHostIP no
79   ForwardAgent yes
80   ForwardX11 yes
81   HostKeyAlias piper.oerlikon.madduck.net
82
83 Host diamond.oerlikon.madduck.net | diamond
84   Hostname diamond.oerlikon.madduck.net
85   ForwardAgent yes
86   ForwardX11 yes
87 #  AddressFamily inet
88 Host diamonde
89   Hostname wall.madduck.net
90   Port 22224
91   CheckHostIP no
92   ForwardAgent yes
93   ForwardX11 yes
94   HostKeyAlias diamond.oerlikon.madduck.net
95
96 Host pict.oerlikon.madduck.net | pict
97   Hostname pict.oerlikon.madduck.net
98   ForwardAgent yes
99   ForwardX11 yes
100 #  AddressFamily inet
101
102 Host lust.oerlikon.madduck.net | lust | hermia
103   Hostname rscguest.ex.ulcc.ac.uk
104   AddressFamily inet
105   HostKeyAlias hermia.mjollnir.org
106   CheckHostIP no
107
108 Host mother.gauting.madduck.net | mother
109   Hostname mother.gauting.madduck.net
110   ForwardAgent yes
111   ForwardX11 yes
112 Host mothere
113   Hostname embryo.madduck.net
114   Port 22221
115   CheckHostIP no
116   ForwardAgent yes
117   ForwardX11 yes
118   HostKeyAlias mother.gauting.madduck.net
119
120 Host brick.gauting.madduck.net | brick
121   Hostname brick.gauting.madduck.net
122   ForwardAgent yes
123   ForwardX11 yes
124 Host bricke
125   Hostname embryo.madduck.net
126   Port 22222
127   CheckHostIP no
128   ForwardAgent yes
129   ForwardX11 yes
130   HostKeyAlias brick.gauting.madduck.net
131
132 Host debian-community.org | bikeshed.debian-community.org | bikeshed
133   Hostname bikeshed.debian-community.org
134   User madduck
135   ForwardAgent no
136   ForwardX11 no
137
138 Host alioth.debian.org | alioth
139   Hostname alioth.debian.org
140   User madduck
141 Host svn.debian.org
142   HostKeyAlias alioth.debian.org
143 Host git.debian.org
144   HostKeyAlias alioth.debian.org
145 Host hg.debian.org
146   HostKeyAlias alioth.debian.org
147
148 Host vore.debian.org | vore
149   Hostname vore.debian.org
150   User madduck
151 Host malo.debian.org | malo
152   Hostname malo.debian.org
153   User madduck
154 Host paer.debian.org | paer
155   Hostname paer.debian.org
156   User madduck
157 Host crest.debian.org | crest
158   Hostname crest.debian.org
159   User madduck
160 Host saens.debian.org | saens
161   Hostname saens.debian.org
162   User madduck
163 Host spohr.debian.org | spohr
164   Hostname spohr.debian.org
165   User madduck
166 Host auric.debian.org | auric
167   Hostname auric.debian.org
168   User madduck
169 Host gluck.debian.org | gluck
170   Hostname gluck.debian.org
171   User madduck
172 Host elara.debian.org | elara
173   Hostname elara.debian.org
174   User madduck
175 Host sarti.debian.org | sarti
176   Hostname sarti.debian.org
177   User madduck
178 Host europa.debian.org | europa
179   Hostname europa.debian.org
180   User madduck
181 Host goedel.debian.org | goedel
182   Hostname goedel.debian.org
183   User madduck
184 Host casals.debian.org | casals
185   Hostname casals.debian.org
186   User madduck
187 Host master.debian.org | master
188   Hostname master.debian.org
189   User madduck
190 Host bartok.debian.org | bartok
191   Hostname bartok.debian.org
192   User madduck
193 Host merulo.debian.org | merulo
194   Hostname merulo.debian.org
195   User madduck
196 Host merkel.debian.org | merkel
197   Hostname merkel.debian.org
198   User madduck
199 Host murphy.debian.org | murphy
200   Hostname murphy.debian.org
201   User madduck
202 Host escher.debian.org | escher
203   Hostname escher.debian.org
204   User madduck
205 Host raptor.debian.org | raptor
206   Hostname raptor.debian.org
207   User madduck
208 Host tartini.debian.org | tartini
209   Hostname tartini.debian.org
210   User madduck
211 Host raff.debian.org | raff
212   Hostname raff.debian.org
213   User madduck
214 Host klecker.debian.org | klecker
215   Hostname klecker.debian.org
216   User madduck
217 Host vaughan.debian.org | vaughan
218   Hostname vaughan.debian.org
219   User madduck
220 Host voltaire.debian.org | voltaire
221   Hostname voltaire.debian.org
222   User madduck
223 Host bruckner.debian.org | bruckner
224   Hostname bruckner.debian.org
225   User madduck
226 Host kullervo.debian.org | kullervo
227   Hostname kullervo.debian.org
228   User madduck
229 Host kullervo.debian.org | kullervo
230   Hostname kullervo.debian.org
231   User madduck
232 Host samosa.debian.org | samosa
233   Hostname samosa.debian.org
234   User madduck
235 Host caballero.debian.org | caballero
236   Hostname caballero.debian.org
237   User madduck
238 Host pergolesi.debian.org | pergolesi
239   Hostname pergolesi.debian.org
240   User madduck
241 Host spontini.debian.org | spontini
242   Hostname spontini.debian.org
243   User madduck
244 Host mayr.debian.org | mayr
245   Hostname mayr.debian.org
246   User madduck
247 Host mayer.debian.org | mayer
248   Hostname mayer.debian.org
249   User madduck
250 Host agnesi.debian.org | agnesi
251   Hostname agnesi.debian.org
252   User madduck
253 Host puccini.debian.org | puccini
254   Hostname puccini.debian.org
255   User madduck
256 Host villa.debian.org | villa
257   Hostname villa.debian.org
258   User madduck
259 Host piatti.debian.org | piatti
260   Hostname piatti.debian.org
261   User madduck
262 Host peri.debian.org | peri
263   Hostname peri.debian.org
264   User madduck
265 Host lobos.debian.org | lobos
266   Hostname lobos.debian.org
267   User madduck
268 Host verdi.debian.org | verdi
269   Hostname verdi.debian.org
270   User madduck
271 Host ries.debian.org | ries
272   Hostname ries.debian.org
273   User madduck
274 Host goetz.debian.org | goetz
275   Hostname goetz.debian.org
276   User madduck
277 Host rietz.debian.org | rietz
278   Hostname rietz.debian.org
279   User madduck
280 Host steffani.debian.org | steffani
281   Hostname steffani.debian.org
282   User madduck
283 Host lebrun.debian.org | lebrun
284   Hostname lebrun.debian.org
285   User madduck
286 Host liszt.debian.org | liszt
287   Hostname liszt.debian.org
288   User madduck
289 Host mundy.debian.org | mundy
290   Hostname mundy.debian.org
291   User madduck
292 Host albeniz.debian.org | albeniz
293   Hostname albeniz.debian.org
294   User madduck
295 Host sperger.debian.org | sperger
296   Hostname sperger.debian.org
297   User madduck
298 Host kassia.debian.org | kassia
299   Hostname kassia.debian.org
300   User madduck
301 Host agricola.debian.org | agricola
302   Hostname agricola.debian.org
303   User madduck
304 Host arcadelt.debian.org | arcadelt
305   Hostname arcadelt.debian.org
306   User madduck
307 Host penalosa.debian.org | penalosa
308   Hostname penalosa.debian.org
309   User madduck
310 Host argento.debian.org | argento
311   Hostname argento.debian.org
312   User madduck
313 Host allegri.debian.org | allegri
314   Hostname allegri.debian.org
315   User madduck
316
317 Host sergei.ifi.uzh.ch | sergei
318   Hostname sergei.ifi.uzh.ch
319   User krafft
320 Host nikolai.ifi.uzh.ch | nikolai
321   Hostname nikolai.ifi.uzh.ch
322   User krafft
323
324 Host *
325 # AddressFamily any
326 # BatchMode no
327 # CheckHostIP yes
328   Cipher blowfish
329 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
330 # ClearAllForwardings no
331 # Compression no
332 # CompressionLevel 6
333 # ConnectionAttempts 1
334   ConnectTimeout 10
335   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
336   ControlMaster auto
337 ## DSAAuthentication no
338 # DynamicForward off
339 # EnableSSHKeysign no
340 # EscapeChar ~
341   ExitOnForwardFailure yes
342   ForwardAgent no
343   ForwardX11 no
344 # ForwardX11Trusted yes
345 # GatewayPorts no
346 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
347   HashKnownHosts no
348 # HostbasedAuthentication no
349   HostKeyAlgorithms ssh-rsa
350 # IdentityFile ~/.ssh/identity
351   IdentityFile2 ~/.ssh/id_rsa
352 # KbdInteractiveDevices pam
353 # LocalCommand none
354 # LocalForward none
355 # LogLevel INFO
356   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
357 # NoHostAuthenticationForLocalhost no
358   NumberOfPasswordPrompts 2
359   PasswordAuthentication yes
360 # PermitLocalCommand no
361 # Port 22
362 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
363   Protocol 2
364 # ProxyCommand
365 # PubkeyAuthentication yes
366 # RekeyLimit 1G-4G #depends on cipher
367 # RemoteForward
368 # RhostsRSAAuthentication no
369 # RSAAuthentication no
370 # ServerAliveCountMax 3
371   ServerAliveInterval 45
372   SetupTimeOut 10
373 # SmartcardDevice off
374   StrictHostKeyChecking yes
375 # TCPKeepAlive yes
376 # Tunnel no
377 # TunnelDevice any:any
378 # UsePrivilegedPort no
379 # UserKnownHostsFile ~/.ssh/known_hosts
380 # VerifyHostKeyDNS no
381 # XAuthLocation /usr/X11R6/bin/xauth