Added source formatting script - to be used if you want to compare/backport different...
authorSven-Ola Tuecke <sven-ola@gmx.de>
Sat, 22 Nov 2008 08:40:51 +0000 (09:40 +0100)
committerSven-Ola Tuecke <sven-ola@gmx.de>
Sat, 22 Nov 2008 08:40:51 +0000 (09:40 +0100)
gnu-indent.sh [new file with mode: 0755]

diff --git a/gnu-indent.sh b/gnu-indent.sh
new file mode 100755 (executable)
index 0000000..36f9fd5
--- /dev/null
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+sed -i 's/Andreas T.\{1,6\}nnesen/Andreas Tonnesen/g;s/Andreas Tønnesen/Andreas Tonnesen/g;s/Andreas Tønmnesen/Andreas Tonnesen/' $(find -type f -not -path "*/.hg*")
+sed -i 's/\r//g;s/[      ]\+$//' $(find -name "*.[ch]" -not -path "*/.hg*")
+indent -sob -nhnl -nut $(find -name "*.[ch]" -not -path "*/.hg*")
+rm $(find -name "*~" -not -path "*/.hg*")