From b6acb81589cf353fb293df73d3a7c14c1a858044 Mon Sep 17 00:00:00 2001 From: Tobias Peters Date: Sat, 15 Jun 2024 16:59:55 +0000 Subject: [PATCH] fix links in devcontainer --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 32be3bd5b7..8895d2070e 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -66,7 +66,7 @@ ARG USER_GID=$USER_UID RUN wget --output-document=/tmp/cmake.sh https://github.com/Kitware/CMake/releases/download/v${CMAKE_VERSION}/cmake-${CMAKE_VERSION}-linux-x86_64.sh RUN mkdir --parents "$CMAKE_INSTALL_DIR" \ && sh /tmp/cmake.sh --skip-license --prefix="$CMAKE_INSTALL_DIR" \ - && ln --symbolic --force "$CMAKE_INSTALL_DIR/bin/"* /usr/local/ + && ln --symbolic --force "$CMAKE_INSTALL_DIR/bin/"* /usr/local/bin RUN groupadd --gid $USER_GID $USERNAME \ && useradd --uid $USER_UID --gid $USER_GID -m $USERNAME \