From c796c676f8b48f6820432ba6597bebbc06174fa9 Mon Sep 17 00:00:00 2001 From: Ridley Neslon Date: Thu, 23 Apr 2020 14:08:49 +0000 Subject: [PATCH] Added Gitpod files --- .gitpod.Dockerfile | 3 +++ .gitpod.yml | 2 ++ .theia/settings.json | 3 +++ 3 files changed, 8 insertions(+) create mode 100644 .gitpod.Dockerfile create mode 100644 .gitpod.yml create mode 100644 .theia/settings.json diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile new file mode 100644 index 0000000..483f6ed --- /dev/null +++ b/.gitpod.Dockerfile @@ -0,0 +1,3 @@ +FROM gitpod/workspace-full-vnc:latest +USER root +RUN ./build-docker.sh \ No newline at end of file diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 0000000..6499bad --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,2 @@ +image: + file: .gitpod.Dockerfile \ No newline at end of file diff --git a/.theia/settings.json b/.theia/settings.json new file mode 100644 index 0000000..27c5cd2 --- /dev/null +++ b/.theia/settings.json @@ -0,0 +1,3 @@ +{ + "editor.autoSave": "on" +} \ No newline at end of file