thomasWeise/docker-texlive-thin
February 23, 2020 ยท View on GitHub
This is a Docker image containing a TeX Live installation with several fonts.
The goal is to provide a base image for my other LaTeX-related containers, such as docker-pandoc.
It is an alternative to my significantly bigger, full Tex Live installation in docker, namely docker-texlive-full.
While the name of this image includes thin, it is not a minimal Tex Live installation.
It does contain some additional and basic packages as well as fonts, but nothing as funky as in the other container.
1. Building and Components
The image has the following components:
2. License
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.
3. Utility Scripts
Currently, we provide the following utility scripts in folder /bin/:
filterPdf.sh <document>transform a document (either in PostScript/PS,EPS, orPDFformat) toPDFand include as many of the fonts used inside the document into the finalPDF. This uses ghostscriptsgsand checks the output withpdftotextfrompoppler-utilsbefore replacing<document>with the hope to build a final pdf that can display on as many machines correctly as possible.
4. Contact
If you have any questions or suggestions, please contact Thomas Weise of the Institute of Applied Optimization of Hefei University in Hefei, Anhui, China.