From d4965d6865f77ae53dc081031c040b5d9f85b317 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Fri, 18 Oct 2024 12:44:01 +0300
Subject: [PATCH] tmp

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index e503c17..dd1f325 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -22,8 +22,8 @@ RUN    apt-get update              \
 # RUN chmod +x llvm.sh
 # RUN ./llvm.sh ${LLVM_VERSION}
 
-ARG USER_ID=1000
-ARG GROUP_ID=1000
+ARG USER_ID=1001
+ARG GROUP_ID=1001
 RUN groupadd -g $GROUP_ID user && useradd -m -u $USER_ID -s /bin/sh -g user user
 
 # RUN mkdir /nix