From c39649485af85b3d00bcf530831fdb83d0128a0f Mon Sep 17 00:00:00 2001 From: Jeffrey Warren Date: Tue, 7 Jul 2020 09:41:33 -0400 Subject: [PATCH] Update .gitpod.dockerfile --- .gitpod.dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile index 4513ad32..54ae3a38 100644 --- a/.gitpod.dockerfile +++ b/.gitpod.dockerfile @@ -3,5 +3,5 @@ FROM gitpod/workspace-full USER root RUN sudo apt-get update && apt-get install -y apt-transport-https \ && sudo apt-get install -y \ - install 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 \ + 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/*