view move-if-change @ 67123:6e41569f62c8

* custom.el (enable-theme): Signal error if argument is not a theme. Don't recalculate a face if it's not loaded yet. * cus-face.el (custom-theme-set-faces): Don't change saved-face if the `user' theme is in effect.

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