view move-if-change @ 63897:f8e70842f12b

(facemenu-unlisted-faces): Delete foreground and background color faces. (facemenu-set-foreground, facemenu-set-background): Use facemenu-set-face-from-menu. (facemenu-set-face-from-menu): Treat face names that start with "fg:" or "bg:" as special. (facemenu-add-new-color): Don't create faces. Simplify.
author Lute Kamstra <lute@gnu.org>
date Fri, 01 Jul 2005 08:28:26 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line source

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