ivoatex

Docker container to build IvoaTex documents.

We recommend you use Podman to run IvoaTex as a rootless-container. The advantage is that the user inside the container is automatically mapped to your uid on the host, avoiding problems with file ownership.

Using Podman to build a document in the current directory:

DOC_PATH=$(pwd)

podman run \
    --rm \
    --tty \
    --interactive \
    --volume "${DOC_PATH:?}:/document:rw,z" \
    ghcr.io/ivoa/ivoatex-docker:latest

Once inside the container, run the following commands to build the document:

make

To do the same with Docker you need to specify the user uid and gid so that the resulting documents are owned by your account rather than by root.

DOC_PATH=$(pwd)

docker run \
    --rm  \
    --tty \
    --interactive \
    --user "$(id -u):$(id -g)" \
    --volume "${DOC_PATH:?}:/document:rw,Z" \
    ghcr.io/ivoa/ivoatex-docker:latest

This project has received funding from the following sources :

• The European Commission Framework Programme Horizon 2020 Research and Innovation action under grant agreement n°653477, ASTERICS
• The European Commission Framework Programme Horizon 2020 Research and Innovation action under grant agreement n°824064, ESCAPE