view move-if-change @ 97738:2a8442e750d8

* linum.el (linum): Inherit remaining face attributes from default face. (linum-delay): Disable - it should no longer be necessary, and can lead to longer delays. (linum-update-window): Renumber if margin width has changed.

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