Skip to content
Snippets Groups Projects

Fix: Fixed dev container

Merged L. Ellenbeck requested to merge Issue/xxxx-fixDevcontainer into master
2 files
+ 22
2
Compare changes
  • Side-by-side
  • Inline
Files
2
+ 21
2
# Development container for dotnet
FROM mcr.microsoft.com/devcontainers/dotnet:8.0 as develop
USER vscode
ARG USERNAME=vscode
ARG USER_UID=1000
ARG USER_GID=$USER_UID
# Remove any existing user with the same UID (if it's not the specified user)
RUN if id -u $USER_UID >/dev/null 2>&1; then \
existing_user=$(getent passwd $USER_UID | cut -d: -f1); \
if [ "$existing_user" != "$USERNAME" ]; then \
userdel -f $existing_user; \
fi; \
fi
# Change the user's GID and UID
RUN groupmod -g $USER_GID $USERNAME \
&& usermod -u $USER_UID -g $USER_GID $USERNAME
# Change user folder owner and group
RUN chown -R $USER_GID:$USER_GID /home/$USERNAME
# [Optional] Set the default user. Omit if you want to keep the default as root.
USER $USERNAME
# Add nuget sources for private packages (here: api-client)
RUN dotnet nuget add source "https://git.rwth-aachen.de/api/v4/projects/88930/packages/nuget/index.json" -n "api-client"
\ No newline at end of file
Loading