aboutsummaryrefslogtreecommitdiff
path: root/aux
diff options
context:
space:
mode:
Diffstat (limited to 'aux')
-rwxr-xr-xaux/ci/ci-build.sh3
-rw-r--r--aux/containers/guix/manifest.scm1
-rwxr-xr-xaux/workflow/TODOs.sh11
-rwxr-xr-xaux/workflow/assert-todos.sh49
-rwxr-xr-xaux/workflow/l10n.sh1
5 files changed, 8 insertions, 57 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 34233b7..332d9f0 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -38,6 +38,9 @@ EOF
sh aux/ci/report.sh -n "$PROJECT" -o public
rsync -av public/ "/srv/http/$PROJECT/" --delete
+ tar -C /srv/http -cf /srv/http/"$PROJECT"/repo.tar.gz \
+ "$PROJECT".git
+
printf '\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s\n>>>\n\n' \
"$STATUS"
}
diff --git a/aux/containers/guix/manifest.scm b/aux/containers/guix/manifest.scm
index 4f228af..180797b 100644
--- a/aux/containers/guix/manifest.scm
+++ b/aux/containers/guix/manifest.scm
@@ -8,6 +8,7 @@
sed
m4
git
+ tar
gawk
make
makefile2graph
diff --git a/aux/workflow/TODOs.sh b/aux/workflow/TODOs.sh
index efc0b04..b7cbae1 100755
--- a/aux/workflow/TODOs.sh
+++ b/aux/workflow/TODOs.sh
@@ -40,20 +40,13 @@ if [ -z "${PROJECT_UC:-}" ]; then
fi
-# shellcheck disable=1004
-IDS_REGEX='s:^## \(TODO\|DOING\|WAITING\|MEETING\|INACTIVE\|NEXT\|CANCELLED\|DONE\|WONTFIX\) \(.*\) {#\(.*\)}\(.*\)$:## <a href="#\3"><span class="\1">\1</span> \2</a>\4\
-<pre class="header-anchor" id="\3">#\3</pre>\
-:g'
-TAGS_REGEX='s|tag:\([a-z0-9-]*\)|<span class="tag">\1</span>|g'
-
cat aux/workflow/preamble.md TODOs.md |
+ td -H |
sed \
-e "s:@PROJECT_UC@:$PROJECT_UC:g" \
-e "s:@PROJECT@:$PROJECT:g" \
-e "s:@MAILING_LIST@:$MAILING_LIST:g" \
- -e "s:@TLD@:$TLD:g" \
- -e "$IDS_REGEX" \
- -e "$TAGS_REGEX" |
+ -e "s:@TLD@:$TLD:g" |
pandoc \
--toc \
--highlight-style pygments \
diff --git a/aux/workflow/assert-todos.sh b/aux/workflow/assert-todos.sh
index 11db142..f4fd965 100755
--- a/aux/workflow/assert-todos.sh
+++ b/aux/workflow/assert-todos.sh
@@ -12,51 +12,4 @@ then
exit 1
fi
-awk -F'{#' '
-BEGIN {
- exitstatus = 0
- h2flag = 0
- h2status = ""
- prevline = ""
- idx = 0
- delete ids[0]
-}
-h2flag == 1 {
- split($0, l, " ")
- timelinestatus = l[2]
- if (h2status != timelinestatus) {
- print "h2/timeline status mismatch for line " NR-1
- print prevline
- print $0
- exitstatus = 1
- }
- h2status = ""
- h2flag = 0
-}
-
-/^## (TODO|DOING|WAITING|MEETING|INACTIVE|NEXT|CANCELLED|DONE|WONTFIX)/ {
- if (match($0, / \{#.*?\}.*$/) == 0) {
- print "Missing ID for line " NR ":\n" $0
- exitstatus = 1
- }
- id_with_prefix = substr($2, 0, length($2) - 1)
- match(id_with_prefix, /^\w+-/)
- id = substr(id_with_prefix, RLENGTH + 1)
- if (id in arr) {
- print "Duplicate ID: " id
- exitstatus = 1
- } else {
- arr[id] = 1
- }
-
- split($0, l, " ")
- h2status = l[2]
- h2flag = 1
- prevline = $0
-}
-
-
-/^# Scratch$/ {
- exit exitstatus
-}
-' TODOs.md
+td -L
diff --git a/aux/workflow/l10n.sh b/aux/workflow/l10n.sh
index cb132a3..f220123 100755
--- a/aux/workflow/l10n.sh
+++ b/aux/workflow/l10n.sh
@@ -85,6 +85,7 @@ for from_f in "$@"; do
parallel_run po_run "$from_f" "$lang"
done
done
+wait
EXIT_CODE=0