From: David Wells Date: Tue, 9 Aug 2016 18:40:49 +0000 (-0400) Subject: Use an explicit suffix on unindented backup files. X-Git-Tag: v8.5.0-rc1~783^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b3badc19c4668a620f535ec7743422cf91648ab1;p=dealii.git Use an explicit suffix on unindented backup files. --- diff --git a/contrib/utilities/indent b/contrib/utilities/indent index b633c43bea..c9527da113 100755 --- a/contrib/utilities/indent +++ b/contrib/utilities/indent @@ -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