unicode/update.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

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