specify user uid = 1000 based on dev mode docs: https://huggingface.co/dev-mode-explorers (#8)

- specify user uid = 1000 based on dev mode docs: https://huggingface.co/dev-mode-explorers (4a6c48253c611ed41a017fa83afa2250f85f26ac)


Co-authored-by: Moritz Laurer <[email protected]>

Dockerfile

@@ -38,7 +38,8 @@ RUN curl -sL https://deb.nodesource.com/setup_14.x  | bash - && \
 WORKDIR /app
 
 # Create a non-root user and switch to it
-RUN adduser --disabled-password --gecos '' --shell /bin/bash user \
+#RUN adduser --disabled-password --gecos '' --shell /bin/bash user \
+RUN adduser --uid 1000 --disabled-password --gecos '' --shell /bin/bash user \
  && chown -R user:user /app
 RUN echo "user ALL=(ALL) NOPASSWD:ALL" > /etc/sudoers.d/90-user
 USER user
@@ -88,7 +89,7 @@ RUN --mount=target=requirements.txt,source=requirements.txt \
     pip install --no-cache-dir --upgrade -r requirements.txt
 
 # Copy the current directory contents into the container at $HOME/app setting the owner to the user
-COPY --chown=user . $HOME/app
+COPY --link --chown=user . $HOME/app
 
 RUN chmod +x start_server.sh