view move-if-change @ 32080:ce5196c4aa6f

(isearch-faces): New custom group. (isearch): New defface; was already tested for in the code. (isearch-lazy-highlight-face): Changed to defface from defcustom. (isearch-highlight): Always use face `isearch'.

#!/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