Skip to content

Commit 6bf7093

Browse files
author
$(git config --global user.name)
committed
make ROS_DISTRO an arg
1 parent 920b861 commit 6bf7093

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

Diff for: docker/Dockerfile

+3-5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,13 @@
1-
ARG BASE_IMAGE=ros:jazzy-ros-base
1+
ARG ROS_DISTRO=jazzy
2+
ARG BASE_IMAGE=ros:${ROS_DISTRO}-ros-base
23
FROM ${BASE_IMAGE} AS base
34

45
ARG USER_ID=1000
56
ARG GROUP_ID=1000
67
ARG WB_HUMANOID_MPC_DIR="/wb_humanoid_mpc_ws"
78
ARG PYTHON_VERSION=3.12
89
ENV DEBIAN_FRONTEND=noninteractive
9-
ENV ROS_DISTRO=jazzy
10+
ENV ROS_DISTRO=${ROS_DISTRO}
1011

1112
# Install system dependencies, ROS, Python, and development tools in a single step
1213
RUN apt-get update && apt-get install -y --no-install-recommends \
@@ -24,9 +25,6 @@ RUN apt-get update && \
2425
envsubst < /tmp/dependencies.txt | xargs apt-get install -y --no-install-recommends && \
2526
rm -rf /var/lib/apt/lists/*
2627

27-
# Increase Git buffer size
28-
RUN git config --global http.postBuffer 1048576000
29-
3028
# Set default shell to bash
3129
SHELL ["/bin/bash", "-c"]
3230

0 commit comments

Comments
 (0)