switch to versioned containers for base and full

Author: oscarlevin

.github/workflows/docker-publish.yml

@@ -3,7 +3,7 @@ name: docker-publish
 on:
   schedule:
     # * is a special character in YAML so you have to quote this string
-    - cron: "0 0 * * 0"
+    #- cron: "0 0 * * 0"
 
   repository_dispatch:
     types: [pretext-publish]
@@ -17,8 +17,7 @@ on:
         default: "all"
         options:
           - "all"
-          - "lite"
-          - "small"
+          - "base"
           - "full"
 
 jobs:
@@ -36,32 +35,29 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
 
-      - name: Build and push lite
-        if: ${{ github.event.inputs.container == 'all' || github.event.inputs.container == 'lite' || github.event.inputs.container == '' }}
-        uses: docker/build-push-action@v6
-        with:
-          platforms: linux/amd64,linux/arm64
-          context: .
-          file: ./lite/Dockerfile
-          push: true
-          tags: ${{ secrets.DOCKERHUB_USERNAME }}/pretext:lite
+      - name: Get latest pretext version from PyPI
+        run: |
+            PTX_VERSION=$(curl -s https://pypi.org/pypi/pretext/json | grep -oP '"version":\s*"\K[^"]+')
+            echo "Latest pretext version: $PTX_VERSION"
+            echo "ptxversion=$PTX_VERSION" >> $GITHUB_ENV
 
-      - name: Build and push small
-        if: ${{ github.event.inputs.container == 'all' || github.event.inputs.container == 'small' || github.event.inputs.container == ''}}
+      - name: Build and push base
+        if: ${{ github.event.inputs.container == 'all' || github.event.inputs.container == 'base' || github.event.inputs.container == '' }}
         uses: docker/build-push-action@v6
         with:
           platforms: linux/amd64,linux/arm64
           context: .
-          file: ./small/Dockerfile
+          file: ./base/Dockerfile
           push: true
-          tags: ${{ secrets.DOCKERHUB_USERNAME }}/pretext:small
+          tags: ${{ secrets.DOCKERHUB_USERNAME }}/pretext:${{ ptxversion }}
 
       - name: Build and push full
         if: ${{ github.event.inputs.container == 'all' || github.event.inputs.container == 'full' || github.event.inputs.container == '' }}
         uses: docker/build-push-action@v6
         with:
           platforms: linux/amd64,linux/arm64
           context: .
+          build-args: BASE_IMAGE_TAG=${{ ptxversion }}
           file: ./full/Dockerfile
           push: true
-          tags: ${{ secrets.DOCKERHUB_USERNAME }}/pretext:full
+          tags: ${{ secrets.DOCKERHUB_USERNAME }}/pretext-full:${{ ptxversion }}

base/Dockerfile

@@ -0,0 +1,87 @@
+FROM debian:bookworm-slim
+
+RUN apt-get update \
+&& apt-get install -y --no-install-recommends \
+                    git \
+                    wget \
+                    npm \
+                    python3 \
+                    python3-pip \
+                    python3-venv \
+                    less \
+&& apt-get autoremove -y \
+&& apt-get clean \
+&& rm -rf /var/lib/apt/lists/* \
+&& rm -rf /tmp/* /var/tmp/*
+
+ENV VIRTUAL_ENV=/opt/venv
+RUN python3 -m venv $VIRTUAL_ENV
+ENV PATH="$VIRTUAL_ENV/bin:$PATH"
+
+RUN apt-get update \
+&& apt-get install -y --no-install-recommends \
+                    python3-dev \
+                    python3-louis \
+                    libcairo2-dev \
+                    librsvg2-bin \
+                    gcc \
+                    build-essential \
+&& pip install pip --upgrade --no-cache-dir \
+&& pip install pretext[homepage,prefigure] codechat-server --prefer-binary --no-cache-dir \
+&& prefig init \
+&& playwright install-deps \
+&& playwright install chromium \
+&& echo '/usr/lib/python3/dist-packages' > /usr/local/lib/python3.11/dist-packages/louis.pth \
+&& echo '/usr/lib/python3/dist-packages' > /opt/venv/lib/python3.11/site-packages/louis.pth \
+&& prefig init \
+&& npm install @mermaid-js/mermaid-cli -g \
+&& apt-get remove -y \
+                    python3-dev \
+                    libcairo2-dev \
+                    gcc \
+                    build-essential \
+&& apt-get autoremove -y \
+&& apt-get clean \
+&& rm -rf /var/lib/apt/lists/* \
+&& rm -rf /tmp/* /var/tmp/*
+
+# If the platform is linux/arm64, we also need to install default-jre
+ARG TARGETPLATFORM
+
+RUN if [ "$TARGETPLATFORM" = "linux/arm64" ]; then \
+    apt-get update && \
+    apt-get install -y --no-install-recommends default-jre && \
+    apt-get clean && \
+    rm -rf /var/lib/apt/lists/*; \
+fi
+
+# make shell prompt pretty
+RUN echo 'export PS1="\[\e[1;32m\]\u@\h:\[\e[1;34m\]\w \[\e[0m\]\$ "' >> ~/.bashrc
+
+# Set TMPDIR to avoid permission issues on ARM architectures
+ENV TMPDIR=/
+
+RUN wget -O TinyTex.sh "https://yihui.org/tinytex/install-bin-unix.sh" \
+&& bash TinyTex.sh \
+&& rm TinyTex.sh
+
+#TinyTeX installs links to the executable in /root/bin, so we need to add that to the PATH
+ENV PATH="/root/bin:$PATH"
+
+SHELL ["/bin/bash", "-i", "-c"]
+
+RUN tlmgr install adjustbox amscdx bold-extra braket bussproofs cancel carlisle cases chessfss circuitikz colortbl enumitem extpfeil fontawesome5 fontaxes gensymb hobby imakeidx jknapltx kastrup lambda-lists listings listingsutf8 makeindex marvosym mathalpha mathtools menukeys mhchem microtype musicography newpx newtx nicematrix pdfcol pdfpages pdflscape pgfplots phaistos physics polyglossia pstricks realscripts relsize siunitx skak skaknew smartdiagram snapshot stmaryrd tcolorbox tikz-cd tikzfill titlesec txfonts ulem upquote was xfrac xltxtra xpatch xstring \
+&& tlmgr path add
+
+#  Ensure fonts provided by TinyTeX are available, as suggested in the pretext guide
+
+RUN fontconfig_path="/etc/fonts/conf.d/09-texlive-fonts.conf" && \
+    fontconfig="<?xml version=\"1.0\"?>\n<!DOCTYPE fontconfig SYSTEM \"fonts.dtd\">\n<fontconfig>\n  <dir>~/.TinyTeX/texmf-dist/fonts</dir>\n  <dir>~/.TinyTeX/texmf-local/fonts</dir>\n</fontconfig>" && \
+    if [ ! -f "$fontconfig_path" ]; then \
+        echo "Creating fontconfig file at $fontconfig_path"; \
+        echo -e "$fontconfig" > "$fontconfig_path"; \
+    else \
+        echo "Fontconfig file already exists at $fontconfig_path"; \
+    fi && \
+    fc-cache -f -v
+

full/Dockerfile

@@ -1,4 +1,7 @@
-FROM oscarlevin/pretext:small
+
+ARG BASE_IMAGE_TAG
+
+FROM oscarlevin/pretext:${BASE_IMAGE_TAG}
 
 RUN apt-get update && \
 apt-get install -y --no-install-recommends \