diff options
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")& |