add web_cmd

2024-03-15 09:14:46 +01:00 · 2024-03-15 09:14:46 +01:00 · 8ad4f8fed6
parent de3f6f077d
commit 8ad4f8fed6
1 changed files with 26 additions and 0 deletions
--- a/web_cmd.sh
+++ b/web_cmd.sh
@ -0,0 +1,26 @@
+#!/bin/sh
+
+set -e
+set -u
+# DEBUG
+#set -x
+
+main() {
+        cmd="${1}"
+
+        cd "$(dirname "${0}")"
+        flock=".web_command_lock"
+        if [ -f "${flock}" ]; then
+                content="$(cat "${flock}")"
+                echo "web command already requested: ${content}"
+        else
+                touch
+                deployment="${deployment:-prod}"
+                echo "requested ${cmd}"
+                ${cmd} &
+        fi
+        rm "${flock}"
+
+}
+
+main "${@}"