2022-03-23 22:35:04 +01:00
|
|
|
FROM miktex/miktex
|
|
|
|
|
|
|
|
LABEL Description="Docker container from MiKTeX, Ubuntu 20.04, with Pygments" Version="1.0"
|
|
|
|
|
2022-09-10 14:26:00 +02:00
|
|
|
RUN rm /etc/apt/sources.list.d/miktex.list
|
|
|
|
|
|
|
|
RUN apt-get update
|
|
|
|
RUN apt-get install python3-pip -y
|
|
|
|
RUN pip install pygments
|
2022-03-23 22:35:04 +01:00
|
|
|
|
|
|
|
WORKDIR /miktex/work
|
|
|
|
|
|
|
|
CMD ["bash"]
|
|
|
|
|