aboutsummaryrefslogtreecommitdiff
path: root/aux/workflow/dist.sh
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2021-02-22 23:55:06 -0300
committerEuAndreh <eu@euandre.org>2021-02-22 23:57:17 -0300
commitae8e26ef8715d379daa8f83b0cff88e1f51734f2 (patch)
tree59a27be334a5c7ee3b5f24ba651ea3b602bedc24 /aux/workflow/dist.sh
parentUpdate aux/guix/pinned-channels.scm, use nixfmt over ghc-nixfmt (diff)
downloadpackage-repository-ae8e26ef8715d379daa8f83b0cff88e1f51734f2.tar.gz
package-repository-ae8e26ef8715d379daa8f83b0cff88e1f51734f2.tar.xz
Update aux/guix/ and aux/workflow/
Diffstat (limited to 'aux/workflow/dist.sh')
-rwxr-xr-xaux/workflow/dist.sh17
1 files changed, 17 insertions, 0 deletions
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"