]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Use an explicit suffix on unindented backup files. 2942/head
authorDavid Wells <wellsd2@rpi.edu>
Tue, 9 Aug 2016 18:40:49 +0000 (14:40 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Tue, 9 Aug 2016 18:40:49 +0000 (14:40 -0400)
contrib/utilities/indent

index b633c43bea32d95771b6a59312c6dfc60d48266b..c9527da11302431b36c303dc12d605c4af37dc72 100755 (executable)
@@ -50,16 +50,16 @@ format_inst()
 {
     f=$1
     cp $f $f.tmp
-    sed -i 's#\\{#{ //#g' $f.tmp
-    sed -i 's#\\}#} //#g' $f.tmp
+    sed -i.orig 's#\\{#{ //#g' $f.tmp
+    sed -i.orig 's#\\}#} //#g' $f.tmp
     astyle --quiet $f.tmp
-    sed -i 's#{ //#\\{#g' $f.tmp
-    sed -i 's#} //#\\}#g' $f.tmp
+    sed -i.orig 's#{ //#\\{#g' $f.tmp
+    sed -i.orig 's#} //#\\}#g' $f.tmp
     if ! diff -q $f $f.tmp >/dev/null
     then
        cp $f.tmp $f
     fi
-    rm $f.tmp
+    rm $f.tmp $f.tmp.orig
 }
 
 export -f 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.