diff options
author | makefu <github@syntax-fehler.de> | 2013-12-30 03:05:26 +0100 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2013-12-30 03:05:26 +0100 |
commit | 0b81bca953ec7cdf373ff97b11ebd6fb847d733f (patch) | |
tree | 63d62f6c32dd6726f823eb2af32cb2a7fab03530 /assets/bin/ass | |
parent | 96151bd07330aee400fb99fd9f8f117bae42c9e5 (diff) |
libkrebs is obsolete
Diffstat (limited to 'assets/bin/ass')
-rwxr-xr-x | assets/bin/ass | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/assets/bin/ass b/assets/bin/ass deleted file mode 100755 index 5a4dade4..00000000 --- a/assets/bin/ass +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh - -set -euf - -HERE=$(dirname $(readlink -f $0)) -DB="$HERE/../../db" -JOURNAL="$DB/truth" -(cd $DB && git pull >/dev/null && echo "pulled new version") - -METHOD="$1"; shift - -case $METHOD in -"create") - echo "`date --utc --rfc-3339=ns` create $1" | $HERE/check-truth | tee -a $JOURNAL -;; -"set") - echo "`date --utc --rfc-3339=ns` set $1 $2 $3" | $HERE/check-truth | tee -a $JOURNAL -;; -*) - echo "you are made of stupid!" - exit 23 -;; -esac -(cd $DB && git commit -a -m bump >/dev/null && git push 1>&2 2>/dev/null && echo "updates pushed")& |