[JAVA] Créer un conteneur Docker pour convertir EPS en source PGF

L'année dernière, M. Kano de Lambda Note a annoncé TeXConf 2018 et TeX & LaTeX Advent Calendar 2018. EPS dans un environnement TeX moderne dans article du jour 4 de //adventar.org/calendars/3382) Il a mentionné comment utiliser les fichiers.

• Utilisez des fichiers EPS avec TeX même en 2018 --golden-lucky diary

Dans cet article, un outil appelé ** eps2pgf ** a été introduit.

Certaines personnes pensent la même chose, et certaines personnes ont déjà créé un outil de conversion en Java appelé ** eps2pgf ** (Référence. )). Actuellement, il est posté sur Sourceforge, mais il n'y a pas de source, et il semble qu'il ne soit pas maintenu, mais pour le moment, je l'ai téléchargé et utilisé, et j'ai obtenu des résultats satisfaisants.

Cet outil appelé eps2pgf est un outil Java il y a plus de 10 ans (c'était en août 2008 lorsque vous regardez la date de mise à jour), mais maintenant c'est `Status. : Abandonné », et le développement semble s'être arrêté depuis longtemps. Bien qu'il s'agisse d'une licence Apache, la source est manquante.

Cependant, c'est toujours un outil très utile (je suis heureux de pouvoir convertir EPS en source PGF article de M. Kano / 183000)). Cependant, installer la JVM juste pour cela est un problème, j'ai donc créé un conteneur Docker qui contient la JVM et cet outil.

Quelle image Java Docker choisir?

Docker Hub a beaucoup d'images officielles Java (JRE, JDK), et je me demande laquelle choisir. Dans l'article suivant, chaque fonctionnalité et chaque critère de sélection ont été résumés de manière simple à comprendre.

• Je veux choisir la meilleure image Java Docker-k11i.biz

Cette fois,

• Puisque je veux juste exécuter des outils Java de plus de 10 ans, il n'y a pas de problème si la version Java n'est pas la dernière.
• Aucun JDK requis, juste JRE est OK.
• Par conséquent, je veux choisir celui qui est le plus petit possible.

alors,

• Basé sur Alpine Linux
• OpenJDK
• Java 8
• JRE uniquement
• La taille du fichier est de 84,9 Mo (en décembre 2019) et léger

J'ai choisi ʻopenjdk: 8-jre-alpine`.

Comment utiliser

L'image terminée a été téléchargée sur Docker Hub en tant que doratex / eps2pgf.

$ docker pull doratex/eps2pgf

Ensuite, vous pouvez tirer.

Puisque / workdir est le répertoire de travail dans le conteneur, on suppose qu'il sera monté en liaison et utilisé avec le répertoire courant.

alias eps2pgf="docker run --rm \
  --mount type=bind,src=\"\$(pwd)\",dst=/workdir \
  doratex/eps2pgf"

Ce sera plus facile si vous définissez un alias tel que. Puisque le script wrapper de ʻeps2pgf.jar est spécifié comme ʻENTRYPOINT de l'image Docker, sous cet alias est défini.

$ eps2pgf tiger.eps -o tiger.pgf

Vous pouvez convertir des plaques EPS en sources PGF, par exemple.

Manuel

Le manuel original ʻeps2pgf.jarest disponible dans l'archive du référentiel SourceForge (https://sourceforge.net/projects/eps2pgf/). Il est également enregistré dans/ eps2pgf / doc /` dans le conteneur Docker, donc

$ docker run --rm \
  --mount type=bind,src="$(pwd)",dst=/workdir \
  --entrypoint /bin/cp \
  doratex/eps2pgf \
  -p /eps2pgf/doc/eps2pgf_manual.pdf .

Vous pouvez également le récupérer dans le répertoire actuel en tant que tel.

Dockerfile

Le Dockerfile préparé pour créer cette image est le suivant.

Dockerfile

FROM openjdk:8-jre-alpine

LABEL maintainer="doraTeX <taylorkgb [at] gmail.com>"

WORKDIR /workdir

RUN apk upgrade --update && \
    mkdir /eps2pgf && \
    cd /eps2pgf && \
    wget -q https://excellmedia.dl.sourceforge.net/project/eps2pgf/Eps2pgf/Eps2pgf%200.7.0/eps2pgf-0.7.0.zip && \
    unzip eps2pgf-0.7.0.zip && \
    rm eps2pgf-0.7.0.zip && \
    cd /usr/local/bin && \
    printf "%s\n" \
      "#!/bin/sh" \
      "java -jar /eps2pgf/eps2pgf.jar \"\$@\"" \
      > eps2pgf && \
    chmod +x eps2pgf

ENTRYPOINT ["eps2pgf"]