diff options
| author | Jan Keromnes <janx@linux.com> | 2018-05-16 20:25:56 +0000 |
|---|---|---|
| committer | Chocobozzz <me@florianbigard.com> | 2018-05-17 08:18:56 +0200 |
| commit | a14d3b6b23816299dba2c5e1010ea8f6eb3d3289 (patch) | |
| tree | 698a6a1347c720303d746a0605fb2809cfc10b52 /support/docker/dev/janitor.json | |
| parent | 5fcbd89841be29b373c6e4c8eeaa1f27414c8c7d (diff) | |
| download | PeerTube-a14d3b6b23816299dba2c5e1010ea8f6eb3d3289.tar.gz PeerTube-a14d3b6b23816299dba2c5e1010ea8f6eb3d3289.tar.zst PeerTube-a14d3b6b23816299dba2c5e1010ea8f6eb3d3289.zip | |
Update Janitor Dockerfile
- Upgrade to newer janitortechnology/ubuntu-dev base image
- Fix workspace folder
- Add Theia port
- Dockerfile best practices
Diffstat (limited to 'support/docker/dev/janitor.json')
| -rw-r--r-- | support/docker/dev/janitor.json | 4 |
1 files changed, 4 insertions, 0 deletions
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 @@ | |||
| 23 | "label": "Cloud9", | 23 | "label": "Cloud9", |
| 24 | "proxy": "https" | 24 | "proxy": "https" |
| 25 | }, | 25 | }, |
| 26 | "8090": { | ||
| 27 | "label": "Theia", | ||
| 28 | "proxy": "https" | ||
| 29 | }, | ||
| 26 | "9000": { | 30 | "9000": { |
| 27 | "label": "PeerTube API", | 31 | "label": "PeerTube API", |
| 28 | "proxy": "https" | 32 | "proxy": "https" |