diff options
| author | Mattias Andrée <maandree@operamail.com> | 2013-09-11 07:58:06 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2013-09-11 07:58:06 +0200 |
| commit | 6d76c1f44fc547c777c2669811925008690c72fb (patch) | |
| tree | 1de4103482a7569bee79b8db206da0e249ea4eff /latex-fitch | |
| parent | add alternative latex fitch package (diff) | |
| download | aur-packages-6d76c1f44fc547c777c2669811925008690c72fb.tar.gz aur-packages-6d76c1f44fc547c777c2669811925008690c72fb.tar.bz2 aur-packages-6d76c1f44fc547c777c2669811925008690c72fb.tar.xz | |
watch script
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
| -rwxr-xr-x | latex-fitch-uoo/watch | 21 |
1 files changed, 21 insertions, 0 deletions
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 + |