Strategická: Skript na update serveru (nový commit do sdíleného gitu)

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