Identify web installer requests

packaging/web-installer.sh

@@ -8,6 +8,7 @@ set -euo pipefail
 SERVER="${JARVIS_SERVER:-https://git.ssh.surf}"
 REPO="${JARVIS_REPO:-snxraven/gnome-jarvis}"
 REF="${JARVIS_REF:-rolling}"
+USER_AGENT="${JARVIS_USER_AGENT:-JARVIS-QVAC-web-installer/0.1}"
 TMP_DIR=""
 
 usage() {
@@ -25,6 +26,7 @@ Environment:
   JARVIS_SERVER  Gitea server base URL.
   JARVIS_REPO    Gitea owner/repository, default snxraven/gnome-jarvis.
   JARVIS_REF     Gitea ref to install, default rolling.
+  JARVIS_USER_AGENT  HTTP User-Agent value for the archive request.
 EOF
 }
 
@@ -50,6 +52,7 @@ ARCHIVE_URL="${SERVER%/}/${REPO}/archive/${REF}.tar.gz"
 ARCHIVE="${TMP_DIR}/jarvis.tar.gz"
 echo "Downloading JARVIS-QVAC source ref '${REF}' from ${SERVER}"
 curl --fail --location --silent --show-error --retry 3 --proto '=https' --tlsv1.2 \
+  --user-agent "${USER_AGENT}" \
   "$ARCHIVE_URL" -o "$ARCHIVE"
 test -s "$ARCHIVE"
 mkdir -p "$TMP_DIR/src"