From ae8e26ef8715d379daa8f83b0cff88e1f51734f2 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Mon, 22 Feb 2021 23:55:06 -0300 Subject: Update aux/guix/ and aux/workflow/ --- aux/workflow/dist.sh | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 aux/workflow/dist.sh (limited to 'aux/workflow/dist.sh') diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh new file mode 100755 index 0000000..45fc30a --- /dev/null +++ b/aux/workflow/dist.sh @@ -0,0 +1,17 @@ +#!/bin/sh +set -eu + +DATE="$1" +VERSION="v$2" + +if git show "$VERSION" 1>/dev/null 2>/dev/null; then + echo "Version '$VERSION' already exists." + exit 1 +fi + +if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then + echo "Date '$DATE' is not up-to-date." + exit 1 +fi + +git tag "$VERSION" -- cgit v1.2.3