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
7ed5b5c700
commit
795ce8bda0
2
.gitpod.Dockerfile
vendored
2
.gitpod.Dockerfile
vendored
@ -4,7 +4,7 @@ FROM gitpod/workspace-full
|
||||
USER root
|
||||
|
||||
# Install Dropbear SSH server
|
||||
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -yq \
|
||||
RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -yq \
|
||||
dropbear \
|
||||
&& apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/*
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user