docker-miktex
docker-miktex copied to clipboard
Change user id when $MIKTEX_UID is set
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 :)