From 0513dc1854cd80931e8627abe8fbbb09b7bbd171 Mon Sep 17 00:00:00 2001
From: Thomas Voss <mail@thomasvoss.com>
Date: Sun, 25 Jun 2023 20:40:27 +0200
Subject: Add the cronjob

---
 cronjob.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 cronjob.sh

diff --git a/cronjob.sh b/cronjob.sh
new file mode 100755
index 0000000..f36be1c
--- /dev/null
+++ b/cronjob.sh
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+# This script gets run by a cronjob every minute.  It pulls from the git server
+# and checks for changes.  If any changes were made, we rebuild the site.
+
+PATH=$PATH:/usr/local/bin
+
+h1=`git rev-parse HEAD`
+git pull
+h2=`git rev-parse HEAD`
+
+[ $h1 = $h2 ] || {
+	make
+	./build
+	git diff --name-only HEAD^ HEAD | grep -q server.go                     \
+		&& systemctl restart euro-thomasvoss-com.service
+}
-- 
cgit v1.2.3