diff options
Diffstat (limited to 'check4u')
-rwxr-xr-x | check4u | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/check4u b/check4u new file mode 100755 index 000000000000..895b3807821f --- /dev/null +++ b/check4u @@ -0,0 +1,21 @@ +#!/usr/bin/env bash +# ./check4u -- check for updates of a software package + +fstar_latest() { + local GITHUB_RELEASES='https://github.com/FStarLang/FStar/releases.atom' + + LATEST=`sed -e "s/xmlns/ignore/" <(curl --silent $GITHUB_RELEASES) | + xmllint --xpath "/feed/entry[1]/title/text()" - | cut -d' ' -f1` +} +fstar_current() { + source PKGBUILD && + CURRENT="v$pkgver" +} + +fstar_latest && fstar_current + +if [[ "$LATEST" != "$CURRENT" ]]; then + echo -e "Latest release : $LATEST" + echo -e "Currently on AUR : $CURRENT" + exit 1 +fi |