view move-if-change @ 95786:3050aaaeadc9

(menu-set-font): New function. Bind "Set Default Font" menu item to it. Apply selected font to all frames, and make it savable. (menu-bar-options-save): Save `default' font if changed.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 10 Jun 2008 19:55:38 +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