ci: Add Jenkins build+publish pipeline

2025-07-02 15:15:28 -05:00
parent 1822514b36
commit 06ffb6713c
5 changed files with 59 additions and 1 deletions
--- a/publish.sh
+++ b/publish.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+: "${PUBLISH_HOST:=$(getent hosts pxe.pyrocufflink.blue | cut -d' ' -f2 | head -n1)}"
+: "${PUBLISH_PATH:=/var/www/html/kickstart/}"
+
+ssh "${PUBLISH_HOST}" mkdir -p "${PUBLISH_PATH}"
+rsync ${PRETEND+-n} -aiFF --delete ./ "${PUBLISH_HOST}:${PUBLISH_PATH}"