view move-if-change @ 68123:ba5077259cc1

(url-retrieve-synchronously): Adjust the workaround so as not to stop in the middle of a redirection.

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