Introduce devcontainer.json

.devcontainer/Dockerfile

@@ -0,0 +1,32 @@
+FROM debian:latest
+
+RUN apt-get update \
+ && apt-get install -y \
+        gawk \
+        perl \
+        sed \
+        git \
+        python3 \
+        python3-pip \
+        pandoc \
+        biber \
+        latexmk \
+        texlive \
+        texlive-science \
+        texlive-fonts-extra \
+        texlive-plain-generic \
+        texlive-bibtex-extra \
+ && apt-get clean
+
+# Install Python packages, after removing a file that breaks pip.
+RUN rm /usr/lib/python3.11/EXTERNALLY-MANAGED
+RUN pip install rst2html5 \
+ && pip install docutils==0.19
+
+RUN apt-get install -y locales \
+ && echo "LC_ALL=en_US.UTF-8" >> /etc/environment \
+ && echo "en_US.UTF-8 UTF-8" >> /etc/locale.gen \
+ && echo "LANG=en_US.UTF-8" > /etc/locale.conf \
+ && locale-gen en_US.UTF-8
+
+ENV PATH=${PATH}:/usr/local/bin

.devcontainer/devcontainer.json

@@ -0,0 +1,4 @@
+{
+    "name": "Dev space",
+    "dockerFile": "Dockerfile"
+}

.github/actions/render/action.yml

@@ -4,4 +4,9 @@ author: Deirdre Connolly
 runs:
   using: docker
   # Runs `make all` or something like it
-  image: ../../../Dockerfile
+  image: ../../../.devcontainer/Dockerfile
+  args:
+    - /bin/sh
+    - -c
+    - make
+    - all

Makefile

@@ -37,7 +37,7 @@ discard:
 
 define PROCESSRST
 $(eval TITLE := $(shell echo '$(patsubst zips/%,%,$(basename $<))' | sed -E 's|zip-0{0,3}|ZIP |;s|draft-|Draft |')$(shell grep -E '^(\.\.)?\s*Title: ' $< |sed -E 's|.*Title||'))
-rst2html5 -v --title="$(TITLE)" $< >$@
+rst2html5.py -v --title="$(TITLE)" $< >$@
 ./edithtml.sh --rst $@
 endef
 

README.rst

@@ -41,6 +41,8 @@ Use ``make`` to check that you are using correct
 and double-check the generated ``rendered/draft-*.html`` file before filing a Pull Request.
 See `here <protocol/README.rst>`__ for the project dependencies.
 
+Consider leveraging `our devcontainer.json <devcontainer.rst>`__ for ease of tool aquisition
+when working in this repo.
 
 NU7 Candidate ZIPs
 ------------------

README.template

@@ -41,6 +41,8 @@ Use ``make`` to check that you are using correct
 and double-check the generated ``rendered/draft-*.html`` file before filing a Pull Request.
 See `here <protocol/README.rst>`__ for the project dependencies.
 
+Consider leveraging `our devcontainer.json <devcontainer.rst>`__ for ease of tool aquisition
+when working in this repo.
 
 NU7 Candidate ZIPs
 ------------------

devcontainer.rst

@@ -0,0 +1,20 @@
+# Using dev containers for editing this repo
+
+This repo uses devcontainer.json to ease configuring the tools necessary to run ``make``.
+You can use [Codespaces](https://docs.github.com/en/codespaces/developing-in-codespaces/developing-in-a-codespace)
+to make your contributions and validate your work.
+Or when using VS Code, use the "Dev Containers: Reopen in Container" command to create
+the docker container with the tools.
+
+## VS Code experience
+
+When using VS Code to edit .rst files, the following extensions will add a preview pane,
+and otherwise add tooling for the files you may be editing:
+
+- [Makefile Tools](https://marketplace.visualstudio.com/items?itemName=ms-vscode.makefile-tools)
+- [reStructuredText](https://marketplace.visualstudio.com/items?itemName=lextudio.restructuredtext)
+- [Python](https://marketplace.visualstudio.com/items?itemName=ms-python.python)
+- [reStructuredText Syntax highlighting](https://marketplace.visualstudio.com/items?itemName=trond-snekvik.simple-rst)
+- [Docker](https://marketplace.visualstudio.com/items?itemName=ms-azuretools.vscode-docker)
+
+Note that these extensions are not endorsed nor been vetted by the Zcash Foundation.

render-via-docker.sh

@@ -3,5 +3,5 @@ set -efuxo pipefail
 
 TAG='zcash-zips-render'
 
-docker build -t "$TAG" .
-docker run -v "$(pwd):/zips" "$TAG"
+docker build -t "$TAG" .devcontainer
+docker run -v "$(pwd):/zips" "$TAG" -w /zips make all