diff --git a/.devcontainer/1/Dockerfile b/.devcontainer/1/Dockerfile index 18c8b715db..5132822467 100644 --- a/.devcontainer/1/Dockerfile +++ b/.devcontainer/1/Dockerfile @@ -8,6 +8,17 @@ ARG CLANGD_VERSION=20 ARG PYTHON_VERSION=3.12.11 ARG NODEJS_VERSION=24 +# Add kitware's apt repository (for cmake) +RUN curl -fsSL https://apt.kitware.com/keys/kitware-archive-latest.asc | sudo gpg --dearmor -o /usr/share/keyrings/kitware-archive-keyring.gpg +RUN cat <