devcontainer

Author: pshirshov

.devcontainer/Dockerfile

@@ -0,0 +1,42 @@
+FROM ubuntu:latest
+
+# Avoid warnings by switching to noninteractive
+ENV DEBIAN_FRONTEND=noninteractive
+
+ARG USERNAME=vscode
+ARG USER_UID=1000
+ARG USER_GID=$USER_UID
+ARG INSTALL_ZSH="true"
+
+ARG COMMON_SCRIPT_SOURCE="https://raw.githubusercontent.com/microsoft/vscode-dev-containers/master/script-library/common-debian.sh"
+ARG COMMON_SCRIPT_SHA="dev-mode"
+RUN echo "APT::Acquire::Queue-Mode "access"; APT::Acquire::Retries 3; " > /etc/apt/apt.conf.d/99parallel && \
+    export DEBIAN_FRONTEND=noninteractive && \
+    apt-get update && apt-get install -y --no-install-recommends tzdata gnupg ca-certificates curl unzip apt-utils build-essential software-properties-common && \
+    ln -fs /usr/share/zoneinfo/Etc/UTC /etc/localtime && \
+    dpkg-reconfigure --frontend noninteractive tzdata && \
+    apt-get clean -y
+
+# Configure apt and install packages
+RUN apt-get update \
+    && apt-get -y install --no-install-recommends apt-utils dialog wget ca-certificates 2>&1 \
+    #
+    # Verify git, common tools / libs installed, add/modify non-root user, optionally install zsh
+    && wget -q -O /tmp/common-setup.sh $COMMON_SCRIPT_SOURCE \
+    && if [ "$COMMON_SCRIPT_SHA" != "dev-mode" ]; then echo "$COMMON_SCRIPT_SHA /tmp/common-setup.sh" | sha256sum -c - ; fi \
+    && /bin/bash /tmp/common-setup.sh "$INSTALL_ZSH" "$USERNAME" "$USER_UID" "$USER_GID" \
+    && rm /tmp/common-setup.sh
+
+RUN apt-get install -y --no-install-recommends \
+    texlive-full python-pygments graphviz
+
+ENV PATH=$PATH
+
+RUN apt-get autoremove -y \
+    && apt-get clean -y \
+    && rm -rf /var/lib/apt/lists/*
+
+USER ${USER_UID}:${USER_GID}
+
+# Switch back to dialog for any ad-hoc use of apt-get
+ENV DEBIAN_FRONTEND=dialog

.devcontainer/devcontainer.json

@@ -0,0 +1,11 @@
+{
+	"name": "LaTeX",
+	"dockerFile": "Dockerfile",
+	"settings": {
+		"terminal.integrated.shell.linux": "/bin/zsh",
+	},
+	"remoteUser": "vscode",
+	"extensions": [
+		"james-yu.latex-workshop",
+	]
+}

Makefile.base

@@ -22,8 +22,10 @@ pdf: $(PDFS)
 	@echo "== Compiling $*..."
 	@echo ""
 	mkdir -p $(PDF_DIR)
-	[[ ! -e  $(PDF_DIR)/media ]] && ln -s $(shell pwd)/media/ $(PDF_DIR)/media || true
-	[[ ! -e  $(PDF_DIR)/$*.tex ]] && ln -s $(shell pwd)/$*.tex $(PDF_DIR)/$*.tex || true
+	echo $$SHELL
+	echo $(shell pwd)
+	[ ! -e  $(PDF_DIR)/media ] && ln -s $(shell pwd)/media/ $(PDF_DIR)/media || true
+	[ ! -e  $(PDF_DIR)/$*.tex ] && ln -s $(shell pwd)/$*.tex $(PDF_DIR)/$*.tex || true
 	cd $(PDF_DIR) && $(LATEX) $(LATEX_ARGS) $*
 	cd $(PDF_DIR) && $(LATEX) $(LATEX_ARGS) $*
 	# https://askubuntu.com/questions/113544/how-can-i-reduce-the-file-size-of-a-scanned-pdf-file