diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-22 23:55:06 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-22 23:57:17 -0300 |
| commit | ae8e26ef8715d379daa8f83b0cff88e1f51734f2 (patch) | |
| tree | 59a27be334a5c7ee3b5f24ba651ea3b602bedc24 /aux/workflow/dist.sh | |
| parent | Update aux/guix/pinned-channels.scm, use nixfmt over ghc-nixfmt (diff) | |
| download | package-repository-ae8e26ef8715d379daa8f83b0cff88e1f51734f2.tar.gz package-repository-ae8e26ef8715d379daa8f83b0cff88e1f51734f2.tar.xz | |
Update aux/guix/ and aux/workflow/
Diffstat (limited to 'aux/workflow/dist.sh')
| -rwxr-xr-x | aux/workflow/dist.sh | 17 |
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" |