filename="$1" url="$2" tmpfilename="$filename.tmp" echo wget $url wget -O - $url >$tmpfilename if test ! -s $tmpfilename then rm -f $tmpfilename exit 1 fi if test -f $filename then if cmp -s $filename $tmpfilename then rm -f $tmpfilename exit 0 fi fi mv $tmpfilename $filename