From 2657c87f0aa1fe7f66062bc3452ad68347be356f Mon Sep 17 00:00:00 2001
From: Marc Cornellà <marc.cornella@live.com>
Date: Sun, 11 Oct 2020 20:12:16 +0200
Subject: Add gitpod integration

Fixes #8212

Co-authored-by: Sean Hellum <seanhellum45@gmail.com>
---
 .gitpod.Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 .gitpod.Dockerfile

(limited to '.gitpod.Dockerfile')

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
new file mode 100644
index 000000000..b35c80dfb
--- /dev/null
+++ b/.gitpod.Dockerfile
@@ -0,0 +1,5 @@
+FROM gitpod/workspace-full
+
+RUN sudo apt-get update && \
+    sudo apt-get install -y zsh && \
+    sudo rm -rf /var/lib/apt/lists/*
-- 
cgit v1.2.3-70-g09d2