Update .gitpod.dockerfile

2025-12-08 17:30:01 +01:00 · 2020-07-07 09:41:33 -04:00 · 2020-07-07 01:19:30 -04:00 · 2020-07-07 01:06:19 -04:00 · 2020-07-07 00:43:08 -04:00 · 2020-07-07 00:25:56 -04:00
2 changed files with 9 additions and 0 deletions
--- a/.gitpod.dockerfile
+++ b/.gitpod.dockerfile
@@ -0,0 +1,7 @@
+FROM gitpod/workspace-full
+
+USER root
+RUN sudo apt-get update && apt-get install -y apt-transport-https \
+ && sudo apt-get install -y \
+    xserver-xorg-dev libxext-dev libxi-dev build-essential libxi-dev libglu1-mesa-dev libglew-dev pkg-config libglu1-mesa-dev freeglut3-dev mesa-common-dev \
+ && apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/*
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,3 +1,5 @@
+image:
+  file: .gitpod.dockerfile
 tasks:
  - init: npm run setup
    command: npm start
Author	SHA1	Message	Date
Jeffrey Warren	c39649485a	Update .gitpod.dockerfile	2020-07-07 09:41:33 -04:00
Jeffrey Warren	b6904d9854	Update .gitpod.dockerfile	2020-07-07 01:19:30 -04:00
Jeffrey Warren	1eba76e96e	Update .gitpod.dockerfile	2020-07-07 01:06:19 -04:00
Jeffrey Warren	c15865dc7d	Update .gitpod.dockerfile	2020-07-07 00:43:08 -04:00
Jeffrey Warren	3a3a680f5e	Merge branch 'main' into gitpod-dockerfile	2020-07-07 00:25:56 -04:00
Jeffrey Warren	29c7c63c08	Create .gitpod.dockerfile	2020-07-07 00:25:05 -04:00
Jeffrey Warren	57a50f57a7	Update .gitpod.yml	2020-07-07 00:22:19 -04:00