This is a Docker image containing a TeX Live
installation with many required packages and several fonts.
The goal is to provide a full Tex Live
installation with all tools and fonts required to do stuff.
We do not use texlive-full
, but try to emulate it in order to save some space.
Regarding the fonts, we have, e.g., the several pre-installed open Chinese fonts.
Unfortunately, all in all, this makes the container rather big and not very suitable as base image for my other LaTeX-related containers, such as docker-pandoc.
Thus, we now also have a smaller Tex Live
installation with fewer fonts and utils, namely docker-texlive-thin.
The image has the following components:
This image is licensed under the GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007, which you can find in file LICENSE.md. The license applies to the way the image is built, while the software components inside the image are under the respective licenses chosen by their respective copyright holders.
Currently, we provide the following utility scripts in folder /bin/
:
filterPdf.sh <document>
transform a document (either in PostScript/PS
,EPS
, orPDF
format) toPDF
and include as many of the fonts used inside the document into the finalPDF
. This uses ghostscriptsgs
and checks the output withpdftotext
frompoppler-utils
before replacing<document>
with the hope to build a final pdf that can display on as many machines correctly as possible.
If you have any questions or suggestions, please contact Thomas Weise of the Institute of Applied Optimization of Hefei University in Hefei, Anhui, China.