Merge pull request 'dev' (#12 ) from dev into server

Reviewed-on: http://192.168.0.105:3000/ArenosWebDev/arenos_www/pulls/12
Update update_repo.sh
2025-08-30 15:32:35 +02:00 · 2025-08-30 15:32:13 +02:00 · 2025-08-30 15:29:32 +02:00
1 changed files with 9 additions and 0 deletions
--- a/html/update_repo.sh
+++ b/html/update_repo.sh
@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# ins Verzeichnis wechseln, wo das Script selbst liegt
+cd "$(dirname "$0")"
+
+# git aktualisieren
+git fetch origin
+git pull
Author	SHA1	Message	Date
Daniel Nagel	84a3cde41c	Merge pull request 'dev' (#12 ) from dev into server Reviewed-on: http://192.168.0.105:3000/ArenosWebDev/arenos_www/pulls/12	2025-08-30 15:32:35 +02:00
Daniel	deca69a60e	Update update_repo.sh	2025-08-30 15:32:13 +02:00
Daniel	65ec993f88	Create update_repo.sh	2025-08-30 15:29:32 +02:00