diff options
Diffstat (limited to '.gitpod.dockerfile')
| -rw-r--r-- | .gitpod.dockerfile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile new file mode 100644 index 0000000000..9768b2986a --- /dev/null +++ b/.gitpod.dockerfile @@ -0,0 +1,13 @@ +FROM gitpod/workspace-full-vnc + +RUN sudo sh -c "echo deb-src http://archive.ubuntu.com/ubuntu/ focal main restricted >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://archive.ubuntu.com/ubuntu/ focal-updates main restricted >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://security.ubuntu.com/ubuntu/ focal-security main restricted >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://security.ubuntu.com/ubuntu/ focal-security universe >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://security.ubuntu.com/ubuntu/ focal-security multiverse >> /etc/apt/sources.list" \ + && sudo apt-get update \ + && sudo apt-get install -y \ + build-essential git libkrb5-dev graphviz nasm \ + && sudo apt-get build-dep -y libreoffice \ + && sudo rm -rf /var/lib/apt/lists/* + |