docker texlive full
ve to ubuntu 22.04
Il s'agit d'une image Docker contenant une installation TeX Live avec de nombreux packages requis et plusieurs polices. L'objectif est de fournir une installation complète Tex Live avec tous les outils et polices nécessaires pour faire des choses. Nous n'utilisons pas texlive-full , mais essayons de l'imiter afin d'économiser de l'espace. En ce qui concerne les polices, nous avons, par exemple, les différentes polices chinoises ouvertes préinstallées.
Malheureusement, dans l'ensemble, cela rend le conteneur assez grand et pas très adapté comme image de base pour mes autres conteneurs liés au latex, tels que Docker-Pandoc. Ainsi, nous avons maintenant également une installation Tex Live plus petite avec moins de polices et d'utilisations, à savoir Docker-Texlive-mince.
L'image a les composants suivants:
TeX Liveghostscriptpoppler-utils Cette image est sous licence en vertu de la version 3, 29 juin 2007 du GNU General Public License, 29 juin 2007, que vous pouvez trouver dans Fichier License.md. La licence s'applique à la façon dont l'image est construite, tandis que les composants logiciels à l'intérieur de l'image sont sous les licences respectives choisies par leurs détenteurs de droits d'auteur respectifs.
Actuellement, nous fournissons les scripts utilitaires suivants dans le dossier /bin/ :
filterPdf.sh <document> Transformez un document (soit dans PostScript / PS , EPS ou Format PDF ) en PDF et incluez autant de polices utilisées à l'intérieur du document dans le PDF final. Cela utilise GhostScripts gs et vérifie la sortie avec pdftotext de poppler-utils avant de remplacer <document> par l'espoir de construire un PDF final qui peut afficher sur autant de machines correctement que possible. Si vous avez des questions ou des suggestions, veuillez contacter Thomas Weise de l'Institut d'optimisation appliquée de l'Université Hefei à Hefei, Anhui, Chine.
