From c1b21345756a76087d8bcc9bd86339e5cdebcafc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@jakstys.lt>
Date: Wed, 19 May 2021 22:57:50 +0300
Subject: [PATCH] add Dockerfile for easier build

---
 Dockerfile   |  9 +++++++++
 in-container | 14 ++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 Dockerfile
 create mode 100755 in-container

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..315f13e
--- /dev/null
+++ b/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/in-container b/in-container
new file mode 100755
index 0000000..7a06ef5
--- /dev/null
+++ b/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" "$@"