PeerTube/support/docker/dev
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
..
Dockerfile Update Janitor Dockerfile 2018-05-17 08:18:56 +02:00
create_user.sql Fixes #205: Fix Janitor configuration; 2018-01-25 11:13:07 +01:00
janitor.json Update Janitor Dockerfile 2018-05-17 08:18:56 +02:00
supervisord.conf Fixes #205: Fix Janitor configuration; 2018-01-25 11:13:07 +01:00