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 000000000000..e0a9d97efe1d --- /dev/null +++ b/.gitpod.dockerfile @@ -0,0 +1,13 @@ +FROM gitpod/workspace-full + +RUN sudo sh -c "echo deb-src http://archive.ubuntu.com/ubuntu/ disco main restricted >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://archive.ubuntu.com/ubuntu/ disco-updates main restricted >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://security.ubuntu.com/ubuntu/ disco-security main restricted >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://security.ubuntu.com/ubuntu/ disco-security universe >> /etc/apt/sources.list" \ + && sudo sh -c "echo deb-src http://security.ubuntu.com/ubuntu/ disco-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/* + |