Skip to content

Commit

Permalink
Add mixin extension prerequisite
Browse files Browse the repository at this point in the history
Perhaps the installation steps are already summarised somewhere, but I missed it 😅 Hopefully this is a useful pointer to someone else starting out with mixins!
  • Loading branch information
dhood authored Jan 18, 2024
1 parent 5f1f770 commit 2b28b54
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:

```
Expand Down

0 comments on commit 2b28b54

Please sign in to comment.