File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -85,8 +85,8 @@ WORKDIR /home/${USERNAME}
8585# user's HOME so bind mounts on a host with matching UID work cleanly.
8686COPY --chown=${USERNAME}:${USERNAME} install_uniros_stack.sh /tmp/install_uniros_stack.sh
8787RUN chmod +x /tmp/install_uniros_stack.sh \
88- && sed -i 's| source /opt/ros/noetic/setup.bash| set +u; source /opt/ros/noetic/setup.bash; set -u| ' /tmp/install_uniros_stack.sh \
89- && sed -i 's| source "$WORKSPACE_PATH/devel/setup.bash" || true| set +u; source "$WORKSPACE_PATH/devel/setup.bash" || true; set -u| ' /tmp/install_uniros_stack.sh \
88+ && sed -i 's@ source /opt/ros/noetic/setup.bash@ set +u; source /opt/ros/noetic/setup.bash; set -u@ ' /tmp/install_uniros_stack.sh \
89+ && sed -i 's@ source "$WORKSPACE_PATH/devel/setup.bash" || true@ set +u; source "$WORKSPACE_PATH/devel/setup.bash" || true; set -u@ ' /tmp/install_uniros_stack.sh \
9090 && UNIROS_INSTALL_IN_DOCKER=1 \
9191 /tmp/install_uniros_stack.sh -y -p /home/${USERNAME}/uniros_ws \
9292 && sudo rm -f /tmp/install_uniros_stack.sh \
You can’t perform that action at this time.
0 commit comments