diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 2d06c086..205ae331 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -72,4 +72,4 @@ RUN curl -fsSL -o /opt/llvm.sh https://apt.llvm.org/llvm.sh \ # Install R COPY ./build-gnur-in-docker.sh /workspace/tools/build-gnur-in-docker.sh RUN mkdir -p /workspace/external/R -RUN cd /workspace/external ; bash ../tools/build-gnur-in-docker.sh R \ No newline at end of file +#RUN cd /workspace/external ; bash ../tools/build-gnur-in-docker.sh R \ No newline at end of file diff --git a/.devcontainer/build-gnur-in-docker.sh b/.devcontainer/build-gnur-in-docker.sh index 36838db8..bb30c13f 100755 --- a/.devcontainer/build-gnur-in-docker.sh +++ b/.devcontainer/build-gnur-in-docker.sh @@ -59,6 +59,7 @@ if [[ ! -f ${R_DIR}/.git ]]; then # of the script is used when building the Docker image echo "-> fetch modified R sources" git clone https://github.com/PRL-PRG/r-compiler-server-gnur + rm -rf "$R_DIR" mv r-compiler-server-gnur "$R_DIR" fi