Skip to content

Commit b1f5d2b

Browse files
j3soonj3soon
committed
feat: Create user bin directories specified in ~/.profile 
1 parent 6f9489b commit b1f5d2b

12 files changed

Lines changed: 60 additions & 0 deletions

File tree

‎aloha_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎delto_gripper_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎gazebo_world_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎go2_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎h1_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎husky_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎kobuki_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎orbslam3_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎template_ws/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

‎tests/diff_base/docker/Dockerfile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=private \
9494

9595
USER $USERNAME
9696

97+
# Create user bin directories specified in `~/.profile`
98+
# Together with .bashrc, this allows invoking executables in the same shell after installing to either location
99+
RUN mkdir /home/$USERNAME/bin
100+
RUN mkdir -p /home/$USERNAME/.local/bin
101+
97102
# Create cache directories with correct ownership to avoid permission issues after volume mount
98103
RUN mkdir -p /home/$USERNAME/.cache/pip
99104
# Create Gazebo cache directory with correct ownership to avoid permission issues after volume mount

0 commit comments

Comments
 (0)