docker-miktex icon indicating copy to clipboard operation
docker-miktex copied to clipboard

Change user id when $MIKTEX_UID is set

Open gregerspoulsen opened this issue 8 months ago • 0 comments

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 :)

gregerspoulsen avatar Jun 13 '24 18:06 gregerspoulsen