From 6ab288f7439366147d0dfb400529b43dbaa894e0 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 10 Jan 2021 10:39:31 -0300
Subject: Add Guix CI files

---
 build-aux/generate-tasks-and-bugs.sh | 21 +++++++++++++++++++++
 build-aux/with-container.sh          |  3 +++
 guix/pinned-channels.scm             | 11 +++++++++++
 3 files changed, 35 insertions(+)
 create mode 100755 build-aux/generate-tasks-and-bugs.sh
 create mode 100755 build-aux/with-container.sh
 create mode 100644 guix/pinned-channels.scm

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")))))
-- 
cgit v1.2.3