diff --git a/.devcontainer/base-dev/base-dev.Dockerfile b/.devcontainer/base-dev/base-dev.Dockerfile index 22cb0cc18..43837326a 100644 --- a/.devcontainer/base-dev/base-dev.Dockerfile +++ b/.devcontainer/base-dev/base-dev.Dockerfile @@ -374,4 +374,6 @@ ENV DEBIAN_FRONTEND= # install dev python3 dependencies RUN pip3 install \ # for juypter notebooks - ipykernel + ipykernel \ + # to generate ompl python bindings + pybind11