Add script for creating archive

2023-05-18 09:28:41 +02:00 · 2023-05-18 09:28:41 +02:00 · 8d4cf138e1
parent e64cbfdcf2
commit 8d4cf138e1
1 changed files with 11 additions and 0 deletions
--- a/archive.sh
+++ b/archive.sh
@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+# SPDX-License-Identifier: GPL-3.0-or-later
+set -euo pipefail
+dir="$1"
+if [ ! -d "$dir" ]; then
+	echo "first argument must be a directory, e.g. u02" >&2
+	exit 1
+fi
+out="/tmp/ecg-${dir}-simon-bruder.zip"
+git archive --format=zip master "$dir" -o "$out"
+echo "$out"