diff options
Diffstat (limited to 'assets/bin')
| -rwxr-xr-x | assets/bin/ass | 5 | 
1 files changed, 2 insertions, 3 deletions
| diff --git a/assets/bin/ass b/assets/bin/ass index c82a2565..cb2c0440 100755 --- a/assets/bin/ass +++ b/assets/bin/ass @@ -2,10 +2,9 @@  set -euf -DB="/krebs/db" -JOURNAL="$DB/truth"  HERE=$(dirname $(readlink -f $0)) - +DB="$HERE/../../../krebs/db" +JOURNAL="$DB/truth"  (cd $DB && git pull >/dev/null && echo "pulled new version")  METHOD="$1"; shift | 
