diff options
Diffstat (limited to 'assets')
| -rwxr-xr-x | assets/bin/ass | 2 | ||||
| -rwxr-xr-x | assets/bin/check-truth | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/assets/bin/ass b/assets/bin/ass index cb2c0440..5a4dade4 100755 --- a/assets/bin/ass +++ b/assets/bin/ass @@ -3,7 +3,7 @@ set -euf HERE=$(dirname $(readlink -f $0)) -DB="$HERE/../../../krebs/db" +DB="$HERE/../../db" JOURNAL="$DB/truth" (cd $DB && git pull >/dev/null && echo "pulled new version") diff --git a/assets/bin/check-truth b/assets/bin/check-truth index 6b55fdcd..064a7d97 100755 --- a/assets/bin/check-truth +++ b/assets/bin/check-truth @@ -1,7 +1,7 @@ #!/bin/sh set -euf -DB=${1-"/krebs/db/truth"} HERE=$(dirname $(readlink -f $0)) +DB="$HERE/../../db/truth" read LINE if (cat $DB;echo $LINE) | $HERE/truth2json - 1>/dev/null ;then echo "success" 1>&2 |