view move-if-change @ 31751:3c4b8a33fed9

Reapply Gerd's change from 2000-09-18, which seems to have gotten lost: (tool-bar-add-item-from-menu): Like in toolbar-add-item, if image doesn't have a mask add a `:mask heuristic'.

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