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:

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