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:

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