Sign inSign up

miktex/miktex-build-debian

By miktex

•Updated 8 months ago

Debian docker image with MiKTeX build environment

Image
0

4.0K

miktex/miktex-build-debian repository overview

⁠Debian 9 docker image with MiKTeX build environment

⁠Obtaining the image

Get the latest image from the registry:

docker pull miktex/miktex-build-debian:stretch

or build it yourself:

docker build --tag miktex/miktex-build-debian:stretch .

⁠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/stretch
curl -fsSL https://miktex.org/download/ctan/systems/win32/miktex/source/miktex-2.9.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/stretch:/miktex/build:rw \
  -e USER_ID=`id -u` \
  -e GROUP_ID=`id -g` \
  miktex/miktex-build-debian:stretch

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

Tag summary

Content type

Image

Digest

sha256:dbcc97de8…

Size

531.6 MB

Last updated

8 months ago

docker pull miktex/miktex-build-debian:trixie