From 3633bb164d9b02565580e796f21c6d076c1cc65a Mon Sep 17 00:00:00 2001 From: Jacob Alheid Date: Thu, 20 Jul 2023 23:46:47 -0700 Subject: [PATCH] fix(docker): use correct copy path --- Dockerfile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index a7b63b4..936655d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -67,9 +67,11 @@ USER codespace # Install vscode extensions WORKDIR /tmp/shakefu -COPY .devcontainer/extensions.sh /tmp/shakefu +COPY .devcontainer/extensions.sh ./extensions.sh # TODO: Remove chmod once executable bit is set -RUN chmod +x /tmp/shakefu/extensions.sh && /tmp/shakefu/extensions.sh && rm /tmp/shakefu/extensions.sh +RUN chmod +x extensions.sh +RUN ./extensions.sh && \ + rm extensions.sh # Build home tool from source WORKDIR /tmp/shakefu/home