diff options
| author | EuAndreh <eu@euandre.org> | 2021-01-10 10:39:31 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-01-10 10:42:06 -0300 |
| commit | 6ab288f7439366147d0dfb400529b43dbaa894e0 (patch) | |
| tree | b542bd5d83a22cc7277b76f5ca1b7a70c019656a | |
| parent | Readd assert-todos.sh (diff) | |
| download | toph-6ab288f7439366147d0dfb400529b43dbaa894e0.tar.gz toph-6ab288f7439366147d0dfb400529b43dbaa894e0.tar.xz | |
Add Guix CI files
| -rwxr-xr-x | build-aux/generate-tasks-and-bugs.sh | 21 | ||||
| -rwxr-xr-x | build-aux/with-container.sh | 3 | ||||
| -rw-r--r-- | guix/pinned-channels.scm | 11 |
3 files changed, 35 insertions, 0 deletions
diff --git a/build-aux/generate-tasks-and-bugs.sh b/build-aux/generate-tasks-and-bugs.sh new file mode 100755 index 0000000..1788c18 --- /dev/null +++ b/build-aux/generate-tasks-and-bugs.sh @@ -0,0 +1,21 @@ +#!/bin/sh -eux + +mkdir -p public + +cat build-aux/workflow/vendor/org.css build-aux/workflow/workflow.css > public/styles.css + +sed -e '/^\* Tasks$/,/^\* Improvements$/!d' TODOs.org | \ + head -n -1 | \ + cat build-aux/workflow/preamble.org - > tasks-and-bugs.org + +emacs tasks-and-bugs.org \ + -l build-aux/workflow/vendor/htmlize.el \ + --eval '(setq org-export-allow-bind-keywords t)' \ + -f org-html-export-to-html \ + --batch \ + --kill + +# Add anchor link to bug headers +perl -pe \ + 's|^<h3 id="(.*?)">(.*)</h3>$|<h3 id="\1">\2<br /><a class="header-anchor" href="#\1">#\1</a></h3>|' \ + tasks-and-bugs.html > public/tasks-and-bugs.html diff --git a/build-aux/with-container.sh b/build-aux/with-container.sh new file mode 100755 index 0000000..cff282f --- /dev/null +++ b/build-aux/with-container.sh @@ -0,0 +1,3 @@ +#!/bin/sh -eux + +guix time-machine -C guix/pinned-channels.scm -- environment --pure -C -m guix/manifest.scm -- sh -c "$@" diff --git a/guix/pinned-channels.scm b/guix/pinned-channels.scm new file mode 100644 index 0000000..e1645f6 --- /dev/null +++ b/guix/pinned-channels.scm @@ -0,0 +1,11 @@ +(list + (channel + (name 'guix) + (url "https://git.savannah.gnu.org/git/guix.git") + (commit + "dc2de508a38d8e0a3f93e8d6ded225d3a7e32548") + (introduction + (make-channel-introduction + "9edb3f66fd807b096b48283debdcddccfea34bad" + (openpgp-fingerprint + "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA"))))) |