view move-if-change @ 89182:5a3996f4ee8b

(select-safe-coding-system): If :mime-charset property of a coding system is not equal to that coding system, don't show that :mime-charset name.

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