From cfb691c8e196a655b0cfbbea100f3e6aba88246e Mon Sep 17 00:00:00 2001
From: Gregers Poulsen <gp@airborneinstruments.dk>
Date: Thu, 13 Jun 2024 19:50:35 +0200
Subject: [PATCH] Change user id when $MIKTEX_UID is set

---
 entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/entrypoint.sh b/entrypoint.sh
index e5a214a..27e1a53 100755
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -2,7 +2,7 @@
 
 MIKTEX_UID=${MIKTEX_UID:-1000}
 MIKTEX_GID=${MIKTEX_GID:-${MIKTEX_UID}}
-if [ "$(id -u miktex)" != 1000 ]; then
+if [ "$MIKTEX_UID" != 1000 ]; then
     usermod -u ${MIKTEX_UID} miktex >/dev/null
     groupmod -g ${MIKTEX_GID} miktex
     chown -R miktex:miktex /var/lib/miktex