search

MiKTeX / docker-miktex

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

Change user id when $MIKTEX_UID is set #44

Open gregerspoulsen opened 1 month ago

gregerspoulsen commented 1 month ago

If I understand the intention of $MIKTEX_UID correctly I think entrypoint.sh has a bug.

I have changed it to modify the user id if $MIKTEX_UID != 1000.

And thanks for providing this container - it's fantastic to have a portable miktex setup :)