summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sign-gnu-artefact19
1 files changed, 19 insertions, 0 deletions
diff --git a/sign-gnu-artefact b/sign-gnu-artefact
new file mode 100644
index 0000000..f85db4e
--- /dev/null
+++ b/sign-gnu-artefact
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+# Helper script to sign artefacts for upload to the GNU mirrors
+
+name=$1
+if [[ -z "$1" ]]; then
+ echo "Usage: $0 NAME"
+ exit 1
+fi
+
+
+truncate -s0 "${name}.directive"
+
+echo "version: 1.2" >> "${name}.directive"
+echo "directory: taler" >> "${name}.directive"
+echo "filename: ${name}" >> "${name}.directive"
+
+gpg -b "${name}"
+gpg --clearsign "${name}.directive"