view move-if-change @ 32603:87af45b9ad99

(diff-header-face, diff-file-header-face) (diff-changed-face): Add bold and italic attributes to tty faces. (diff-function-face): New face. (diff-font-lock-keywords): Use it.

#!/bin/sh
if
test -r $2
then
if
cmp $1 $2 > /dev/null
then
echo $2 is unchanged
rm -f $1
else
mv -f $1 $2
fi
else
mv -f $1 $2
fi