MiKTeX / docker-miktex

the Docker image for running MiKTeX
41 stars 28 forks source link

Update source to ubuntu:focal #25

Closed PHPirates closed 3 years ago

PHPirates commented 3 years ago
RaphaelJenni commented 3 years ago

Thank you for the fix @PHPirates. Workes for me.

Deployed a version to docker hub in case anyone needs it. rjenni/miktex

Hopefully, the official repo gets updated in the near future. @edocevoli ??

stale[bot] commented 3 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

PHPirates commented 3 years ago

@edocevoli

stale[bot] commented 3 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

PHPirates commented 3 years ago

@edocevoli

PHPirates commented 3 years ago

@edocevoli Please merge

edocevoli commented 3 years ago

Thank you for the PR. But please note that a merge has no effect at the moment, because automatic Docker builds are not enabled for the MiKTeX docker hub. I have to manually build the image and update it to the Docker registry.

PHPirates commented 3 years ago

@edocevoli It does have an effect in the sense that people can easily build the image themselves, without first being confused and then having to solve the problem manually every time. And it saves me having to try to keep a PR open just to advertise forks. In the end, Docker hub is just for a little bit of extra convenience, though I would appreciate an update of course.