change username

DFKI-NI · Sep 19, 2023 · 41207b3 · 41207b3
1 parent ee1e258
commit 41207b3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -65,7 +65,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
 # initialize rosdep database 
 RUN rosdep init || echo "rosdep already initialized"
 
-ARG USERNAME=ros
+ARG USERNAME=ros2-dev
 ARG USER_UID=1000
 ARG USER_GID=$USER_UID
 
@@ -119,4 +119,4 @@ ENV QT_X11_NO_MITSHM 1
 
 ARG WORKSPACE
 
-RUN echo "if [ -f ${WORKSPACE}/install/setup.bash ]; then source ${WORKSPACE}/install/setup.bash; fi" >> /home/ros/.bashrc
+RUN echo "if [ -f ${WORKSPACE}/install/setup.bash ]; then source ${WORKSPACE}/install/setup.bash; fi" >> /home/${USERNAME}/.bashrc
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -6,7 +6,7 @@
 			"WORKSPACE": "${containerWorkspaceFolder}"
 		}
 	},
-	"remoteUser": "ros",
+	"remoteUser": "ros2-dev",
 	"runArgs": [
 		"--network=host",
 		"--cap-add=SYS_PTRACE",