From 7d2164137b34cc99f7628a1259c2a0bae82649be Mon Sep 17 00:00:00 2001
From: Daniel Kraus <bovender@bovender.de>
Date: Tue, 3 Feb 2026 10:36:43 +0100
Subject: [PATCH] Push-and-update script.

---
 pull-and-update.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 pull-and-update.sh

diff --git a/pull-and-update.sh b/pull-and-update.sh
new file mode 100755
index 0000000..7052113
--- /dev/null
+++ b/pull-and-update.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+set -e
+
+# https://stackoverflow.com/a/1482133/270712
+MYDIR=dirname -- "$( readlink -f -- "$0"; )";
+pushd "$MYDIR"
+git pull
+docker compose up build
+popd