diff --git a/server/bin/update b/server/bin/update new file mode 100755 index 0000000..af33888 --- /dev/null +++ b/server/bin/update @@ -0,0 +1,27 @@ +#!/bin/bash + +set -ueo pipefail + + +mkdir -p static/client + +cp ../klient/client.py static/client +cp ../klient/strategy.py static/client +cp ../klient/strategy.cpp static/client +cp ../klient/jsmn.h static/client + +( + cd static/client + zip ../client.zip * +) + +( + cd static/client + git add . + git commit -m "BUGFIX" + git update-server-info +) +unlink static/client.git +ln -sr static/client/.git static/client.git + +pandoc ../pravidla.md --to=pdf -o static/pravidla.pdf