From a14d3b6b23816299dba2c5e1010ea8f6eb3d3289 Mon Sep 17 00:00:00 2001
From: Jan Keromnes <janx@linux.com>
Date: Wed, 16 May 2018 20:25:56 +0000
Subject: Update Janitor Dockerfile

- Upgrade to newer janitortechnology/ubuntu-dev base image
- Fix workspace folder
- Add Theia port
- Dockerfile best practices
---
 support/docker/dev/janitor.json | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'support/docker/dev/janitor.json')

diff --git a/support/docker/dev/janitor.json b/support/docker/dev/janitor.json
index 4051e8bcd..5acdf3060 100644
--- a/support/docker/dev/janitor.json
+++ b/support/docker/dev/janitor.json
@@ -23,6 +23,10 @@
       "label": "Cloud9",
       "proxy": "https"
     },
+    "8090": {
+      "label": "Theia",
+      "proxy": "https"
+    },
     "9000": {
       "label": "PeerTube API",
       "proxy": "https"
-- 
cgit v1.2.3