diff options
Diffstat (limited to 'aux')
| -rwxr-xr-x | aux/lib.sh | 2 | ||||
| -rwxr-xr-x | aux/workflow/assert-readme.sh | 2 | ||||
| -rwxr-xr-x | aux/workflow/dist.sh | 15 | ||||
| -rw-r--r-- | aux/workflow/preamble.md | 2 |
4 files changed, 18 insertions, 3 deletions
@@ -8,7 +8,7 @@ uuid() { # Taken from: # https://serverfault.com/a/799198 od -xN20 /dev/urandom | - head -1 | + head -n1 | awk '{OFS="-"; print $2$3,$4,$5,$6,$7$8$9}' } diff --git a/aux/workflow/assert-readme.sh b/aux/workflow/assert-readme.sh index 7afeb4c..0a85221 100755 --- a/aux/workflow/assert-readme.sh +++ b/aux/workflow/assert-readme.sh @@ -98,7 +98,7 @@ The code is licensed under [GNU Affero General Public License v3.0 or later][AGPL-3.0-or-later] (AGPL-3.0-or-later). -[AGPL-3.0-or-later]: https://euandreh.xyz/.git$PROJECT/tree/COPYING +[AGPL-3.0-or-later]: https://euandreh.xyz/$PROJECT.git/tree/COPYING EOF if ! tail -n "$(wc -l < "$EXPECTED")" README.md | diff - "$EXPECTED"; then diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index a433478..48a9d57 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -53,6 +53,12 @@ if git show "$VVERSION" 1>/dev/null 2>/dev/null; then exit 1 fi +if [ "v$(awk '/^VERSION *=/{print $3; exit}' Makefile)" != "$VVERSION" ]; then + echo "Version '$VVERSION' mismatch with \$(VERSION) in Makefile." >&2 + echo 'Make sure to invoke this script with "make dist".' >&2 + exit 1 +fi + if ! printf '%s\n%s\n' "$(git tag)" "$VVERSION" | sort -nct. -k1 -k2 -k3; then echo 'New tag is not bigger than existing ones.' >&2 exit 1 @@ -63,12 +69,19 @@ if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then exit 1 fi +if [ "$(awk '/^DATE *=/{print $3; exit}' Makefile)" != "$DATE" ]; then + echo "Date '$DATE' mismatch with \$(DATE) in Makefile." >&2 + echo 'Make sure to invoke this script with "make dist".' >&2 + exit 1 +fi + if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then echo "Commit message isn't 'Release $VVERSION'." >&2 exit 1 fi -make clean public dev-check EXTRA_VERSION="$VVERSION" +make clean +make dev-check EXTRA_VERSION="$VVERSION" if ! (git diff --quiet && git diff --quiet --staged); then echo 'Dirty repository.' diff --git a/aux/workflow/preamble.md b/aux/workflow/preamble.md index ee32d58..a699d04 100644 --- a/aux/workflow/preamble.md +++ b/aux/workflow/preamble.md @@ -12,3 +12,5 @@ and see [existing discussions](https://lists.sr.ht/~euandreh/@MAILING_LIST@?sear *Vi povas ankaŭ skribi esperante*. +*Tu también puedes escribir en español*. + |