From f8c502e447d1317430ea8ef86586a135d861aa57 Mon Sep 17 00:00:00 2001 From: Peter Date: Sun, 18 Apr 2021 17:23:28 +1000 Subject: [PATCH] Gitpod workspace path update due to repo rename Gitpod workspace path is based on repo name... it was `/workspace/Pinetime`, but after the repo rename it's now `/workspace/InfiniTime`. Also added second pip call as it's in the main dockerfile. --- docker/.gitpod.Dockerfile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docker/.gitpod.Dockerfile b/docker/.gitpod.Dockerfile index 71bf479b..2f7099a5 100644 --- a/docker/.gitpod.Dockerfile +++ b/docker/.gitpod.Dockerfile @@ -14,15 +14,16 @@ RUN apt-get update -qq \ python3-pip \ tar \ unzip \ - wget \ + wget \ # aarch64 packages libffi-dev \ libssl-dev \ - python3-dev \ + python3-dev \ && rm -rf /var/cache/apt/* /var/lib/apt/lists/*; # Needs to be installed as root RUN pip3 install adafruit-nrfutil +RUN pip3 install -Iv cryptography==3.3 COPY docker/build.sh /opt/ # Lets get each in a separate docker layer for better downloads @@ -34,6 +35,6 @@ RUN bash -c "source /opt/build.sh; GetNrfSdk;" RUN bash -c "source /opt/build.sh; GetMcuBoot;" # Link the default checkout workspace in to the default $SOURCES_DIR -RUN ln -s /workspace/Pinetime /sources +RUN ln -s /workspace/InfiniTime /sources -USER gitpod \ No newline at end of file +USER gitpod