From 6d76c1f44fc547c777c2669811925008690c72fb Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Wed, 11 Sep 2013 07:58:06 +0200 Subject: watch script MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- latex-fitch-uoo/watch | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100755 latex-fitch-uoo/watch diff --git a/latex-fitch-uoo/watch b/latex-fitch-uoo/watch new file mode 100755 index 0000000..f9ce5ed --- /dev/null +++ b/latex-fitch-uoo/watch @@ -0,0 +1,21 @@ +#!/bin/sh + +[ -f fitch ] && rm fitch + +wget 'http://www.mathstat.dal.ca/~selinger/fitch' -O fitch >/dev/null 2>/dev/null + +if [ $? = 0 ]; then + [ -f unfetchable ] && rm unfetchable + md5sum fitch > new-sum + touch sum + if [ "$(cat sum)" = "$(cat new-sum)" ]; then + rm new-sum + else + mv new-sum sum + echo 'latex-fitch-uoo' + fi +elif [ ! -f unfetchable ]; then + touch unfetchable + echo 'latex-fitch-uoo (unfetchable)' +fi + -- cgit v1.2.3-70-g09d2