From 2b28b546612650abcef803e78e95fc57731130ad Mon Sep 17 00:00:00 2001 From: dhood Date: Thu, 18 Jan 2024 14:50:13 +0000 Subject: [PATCH] Add mixin extension prerequisite Perhaps the installation steps are already summarised somewhere, but I missed it :sweat_smile: Hopefully this is a useful pointer to someone else starting out with mixins! --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ff00367..15d6f54 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,13 @@ these "shortcuts" available, e.g. for the command line tool `colcon`. How to fetch the information ---------------------------- -To register this repository with `colcon` (using the identifier "default") +### Prerequisite: get the mixin extension +First make sure you have installed the `python3-colcon-mixin` apt package, +or the `colcon-mixin` pip package. + +### Register the hosted repository + +To register this repository with `colcon` (using the identifier "default"), invoke the following command: ```