madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://<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 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://"]
  insteadOf = madduck:

add ini host
authormartin f. krafft <>
Tue, 26 Feb 2019 21:09:21 +0000 (10:09 +1300)
committermartin f. krafft <>
Tue, 26 Feb 2019 21:09:21 +0000 (10:09 +1300)

index a33f1d3..3b5595e 100644 (file)
@@ -215,6 +215,13 @@ Host fishbowl |
   HostKeyAlias fishbowl
   ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{mtvic,lehel,gauting,rw}; eval fping -aAC1 -t500 $TRIES 2>&1 & eval fping6 -aAC1 -t500 $TRIES 2>&1; wait) | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; exec nc -vq0 \${TARGETS%%%%,*} %p"
+Host ini |
+  CheckHostIP no
+  HostKeyAlias
+  HostName
+  Port 13579
+  User christine
 Host sgs7e | sgs7e.phones.*