mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Update .gitpod.Dockerfile
This commit is contained in:
parent
500735eb91
commit
c4169613a7
3
.gitpod.Dockerfile
vendored
3
.gitpod.Dockerfile
vendored
@ -12,7 +12,8 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -yq \
|
||||
RUN curl https://i.jpillora.com/chisel! | bash
|
||||
|
||||
# Install docker buildx plugin
|
||||
RUN wget \
|
||||
RUN mkdir -p ~/.docker/cli-plugins && \
|
||||
wget \
|
||||
https://github.com/docker/buildx/releases/download/v0.5.1/buildx-v0.5.1.linux-amd64 \
|
||||
-O ~/.docker/cli-plugins/docker-buildx && \
|
||||
chmod a+x ~/.docker/cli-plugins/docker-buildx
|
||||
|
Loading…
Reference in New Issue
Block a user