diff --git a/IV/Dockerfile b/IV/Dockerfile new file mode 100644 index 0000000..315f13e --- /dev/null +++ b/IV/Dockerfile @@ -0,0 +1,9 @@ +FROM debian:bullseye + +RUN apt-get update && \ + DEBIAN_FRONTEND=noninteractive apt-get install -y \ + texlive-full poppler-utils \ + osm2pgsql postgresql-client \ + python3-pygments python3-geopandas \ + latexmk make \ + docker.io diff --git a/IV/in-container b/IV/in-container new file mode 100755 index 0000000..7a06ef5 --- /dev/null +++ b/IV/in-container @@ -0,0 +1,14 @@ +#!/bin/bash +set -euo pipefail + +NAME=wm-mj-build + +if [[ -z "$(docker images -q --filter "reference=$NAME")" ]]; then + docker build -t "$NAME" - < Dockerfile +fi + +exec docker run --rm \ + -v /var/run/docker.sock:/var/run/docker.sock \ + -v ${PWD}:/x \ + -w /x \ + "$NAME" "$@"