MiKTeX / docker-miktex-build-ubuntu

the Ubuntu docker image for building MiKTeX

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ubuntu 20.04 docker image with MiKTeX build environment

Obtaining the image

Get the latest image from the registry:

docker pull miktex/miktex-build-ubuntu:focal

or build it yourself:

docker build --tag miktex/miktex-build-ubuntu:focal .

Using the image

Prerequisites

MiKTeX source code must be mounted to the container path /miktex/source and the build directory must be mounted to the container path /miktex/build.

You should specify a user by setting the container environment variables USER_ID and GROUP_ID.

Example

Build the MiKTeX deb package:

mkdir -p ~/work/miktex/source
mkdir -p ~/work/miktex/builds/focal
curl -fsSL https://miktex.org/download/ctan/systems/win32/miktex/source/miktex-23.12.tar.xz | \
  tar -xJ --strip-components=1 -C ~/work/miktex/source
docker run -t \
  -v ~/work/miktex/source:/miktex/source:ro \
  -v ~/work/miktex/builds/focal:/miktex/build:rw \
  -e USER_ID=`id -u` \
  -e GROUP_ID=`id -g` \
  miktex/miktex-build-ubuntu:focal

The build artifact miktex-*.deb will be written to ~/work/miktex/builds/focal.

About

the Ubuntu docker image for building MiKTeX


Languages

Language:Dockerfile 63.6%Language:Shell 36.4%