blob: b59d99b7097467087af2ff8c1b3b5db8e90c3426 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/sh
[ -f 'NEWS.text' ] && rm 'NEWS.text'
wget 'http://www.pps.univ-paris-diderot.fr/~jch/software/cedilla/NEWS.text' >/dev/null 2>/dev/null
if [ $? = 0 ]; then
[ -f unfetchable ] && rm unfetchable
md5sum < NEWS.text > new-sum
touch sum
if [ "$(cat sum)" = "$(cat new-sum)" ]; then
rm new-sum
else
mv new-sum sum
echo 'cedilla'
fi
rm NEWS.text
elif [ ! -f unfetchable ]
touch unfetchable
echo 'cedilla (unfetchable)'
fi
|
