diff options
author | Peter <pfeerick@users.noreply.github.com> | 2021-04-18 17:23:28 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-18 17:23:28 +1000 |
commit | f8c502e447d1317430ea8ef86586a135d861aa57 (patch) | |
tree | 9dcf39e0f27bc634dc5e9a7040b55a57814b94bd /docker | |
parent | 77470e73f9807139673d1ac6994b340297ad71c7 (diff) |
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.
Diffstat (limited to 'docker')
-rw-r--r-- | docker/.gitpod.Dockerfile | 9 |
1 files 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 |