From 8497bc668c8f21e3c1e98c61bd3aa5c5a40ad715 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sat, 17 Nov 2012 08:38:22 +0100 Subject: adopt cedilla MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- cedilla/watch | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 cedilla/watch (limited to 'cedilla/watch') diff --git a/cedilla/watch b/cedilla/watch new file mode 100755 index 0000000..daab691 --- /dev/null +++ b/cedilla/watch @@ -0,0 +1,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 + -- cgit v1.2.3-70-g09d2