]> https://gitweb.dealii.org/ - dealii.git/commitdiff
fix dos formatted files in contrib/utilities/indent 5434/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 9 Nov 2017 18:58:51 +0000 (13:58 -0500)
committerTimo Heister <timo.heister@gmail.com>
Thu, 9 Nov 2017 21:32:02 +0000 (16:32 -0500)
contrib/utilities/indent

index 89382adeb925dc93bd274a8a0b15fb632fdbb296..64d2f0c98a4565377e7c6de7ecd2bd81372fb648 100755 (executable)
@@ -63,6 +63,18 @@ find tests include source examples \( -name '*.cc' -o -name '*.h' -o -name '*.cu
 # use the same process to set file permissions for all source files
 find tests include source examples \( -name '*.cc' -o -name '*.h' -o -name '*.cu' -o -name '*.cuh' \) -print | xargs -n 50 -P 10 chmod 644
 
+# convert dos formatted files to unix file format by stripping out 
+# carriage returns (15=0x0D):
+dos_to_unix()
+{
+    f=$1
+    tr -d '\015' <$f >$f.tmp
+    diff -q $f $f.tmp >/dev/null || mv $f.tmp $f
+    rm -f $f.tmp
+}
+export -f dos_to_unix
+find tests include source examples \( -name '*.cc' -o -name '*.h' -o -name '*.cu' -o -name '*.cuh' \) -print | xargs -n 1 -P 10 -I {} bash -c 'dos_to_unix "$@"' _ {} 
+
 # format .inst.in files. We need to replace \{ and \} because it confuses
 # astyle.
 format_inst()

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.