Skip to content
Snippets Groups Projects
Commit d00de188 authored by L. Ellenbeck's avatar L. Ellenbeck
Browse files

Fix: Fixed dev container

parent 886518d0
No related branches found
No related tags found
1 merge request!32Fix: Fixed dev container
# Development container for dotnet # Development container for dotnet
FROM mcr.microsoft.com/devcontainers/dotnet:8.0 as develop 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) # 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" 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
...@@ -8,6 +8,7 @@ ...@@ -8,6 +8,7 @@
"updateRemoteUserUID": false, "updateRemoteUserUID": false,
"remoteUser": "vscode", "remoteUser": "vscode",
"containerUser": "vscode", "containerUser": "vscode",
"postAttachCommand": "bash",
"customizations": { "customizations": {
"vscode": { "vscode": {
"settings": { "settings": {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment