From f45327d3480e89c28b398a0fa5525caf3827459d Mon Sep 17 00:00:00 2001
From: Christoph Froehlich <christoph.froehlich@ait.ac.at>
Date: Tue, 6 Feb 2024 21:22:52 +0100
Subject: [PATCH] Use colcon-devtools 0.2.5

---
 Dockerfile.debian12 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile.debian12 b/Dockerfile.debian12
index 0a1941b..37238d7 100644
--- a/Dockerfile.debian12
+++ b/Dockerfile.debian12
@@ -85,6 +85,9 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
   python3-ament-pep257 \
   python3-flake8 \
   && \
+# colcon-devtools>0.2.3 is not released for debian12, so override it from pip
+  apt-get remove -y python3-colcon-devtools && \
+  pip3 install colcon-devtools --break-system-package && \
   : "remove cache" && \
   rm -rf /var/lib/apt/lists/*