am97
|
ee7c25c767
|
Create new Docker dev image (#1173)
* Move the old dev docker files to support/docker/janitor
* Create new Docker dev image
|
2018-10-09 17:35:02 +02:00 |
|
Jan Keromnes
|
a14d3b6b23
|
Update Janitor Dockerfile
- Upgrade to newer janitortechnology/ubuntu-dev base image
- Fix workspace folder
- Add Theia port
- Dockerfile best practices
|
2018-05-17 08:18:56 +02:00 |
|
Benjamin Bouvier
|
a585af352c
|
Fixes #205: Fix Janitor configuration;
|
2018-01-25 11:13:07 +01:00 |
|
Jan Keromnes
|
b270ad07f1
|
Add Janitor configuration file for PeerTube. (#204)
|
2018-01-16 16:46:04 +01:00 |
|