cedilla/watch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/sh

wget 'http://www.pps.univ-paris-diderot.fr/~jch/software/cedilla/NEWS.text' >/dev/null 2>/dev/null
if [ $? = 0 ]; then
	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
else
	echo 'cedilla (unfetchable)'
fi