launch bash even for docker terminal workaround

Interpause · Dec 3, 2022 · cf257b4 · cf257b4
1 parent afddbe8
commit cf257b4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -58,7 +58,7 @@ RUN apt-get update && apt-get install -y \
 
 RUN update-alternatives --install /usr/bin/python python /usr/bin/python3.10 10
 
-RUN echo "ENV=$HOME/.shrc; export ENV" >> ~/.profile
+ENV ENV=\$HOME/.shrc
 RUN echo "exec bash" >> ~/.shrc
 RUN echo "source /opt/ros/$ROS_DISTRO/setup.bash\nsource /code/install/local_setup.bash" >> ~/.bashrc
 

diff --git a/Dockerfile.dev b/Dockerfile.dev
@@ -86,7 +86,7 @@ ENTRYPOINT [ \
 USER $USERNAME
 
 # Make /bin/sh launch bash instead.
-RUN echo "ENV=$HOME/.shrc; export ENV" >> ~/.profile
+ENV ENV=\$HOME/.shrc
 RUN echo "exec bash" >> ~/.shrc
 # Auto-activate ROS whenever bash shell is opened.
 RUN echo "source /opt/ros/$ROS_DISTRO/setup.bash\nsource /code/install/local_setup.bash" >> ~/.bashrc