Add scripts for building/pushing to docker registry

This commit is contained in:
2026-01-05 03:13:34 +01:00
parent fe52c5ea80
commit 32a395f7e6
6 changed files with 98 additions and 6 deletions

16
Dockerfile.base.env Normal file
View File

@@ -0,0 +1,16 @@
FROM arm64v8/ros:jazzy-ros-core AS magrob.base.env
RUN mkdir -p /ros_ws/src
WORKDIR /ros_ws/src
RUN --mount=type=bind,source=./,target=/ros_ws/src/ \
--mount=type=cache,target=/var/cache/apt,sharing=locked \
--mount=type=cache,target=/var/lib/apt,sharing=locked \
. /opt/ros/jazzy/setup.sh && \
scripts/install_base_deps.sh
RUN cat <<EOF >> /root/.bashrc
source /opt/ros/jazzy/setup.bash
EOF
CMD ["sleep", "infinity"]