commit 3dc9b91e16ccfaac81f2dc696d5ecf6ea7ddf34e parent 7b014a39bb700c29c786e8ca06527535f2506b93 Author: Florian Dold <florian.dold@gmail.com> Date: Tue, 6 Jun 2017 14:22:49 +0200 add sign-gnu-artefact helper Diffstat:
| A | sign-gnu-artefact | | | 19 | +++++++++++++++++++ |
1 file changed, 19 insertions(+), 0 deletions(-)
diff --git a/sign-gnu-artefact 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"