aboutsummaryrefslogtreecommitdiffhomepage
path: root/support/docker/dev
Commit message (Collapse)AuthorAgeFilesLines
* Update Janitor DockerfileJan Keromnes2018-05-172-8/+10
| | | | | | | - Upgrade to newer janitortechnology/ubuntu-dev base image - Fix workspace folder - Add Theia port - Dockerfile best practices
* Pre-build PeerTube again in dev Dockerfile.Jan Keromnes2018-01-251-2/+3
| | | PeerTube pre-build was removed in #207 but is still valuable.
* Fixes #205: Fix Janitor configuration;Benjamin Bouvier2018-01-254-6/+25
|
* Add Janitor configuration file for PeerTube. (#204)Jan Keromnes2018-01-162-0/+38
|
* Add a PeerTube development environment Dockerfile compatible with Janitor. ↵Jan Keromnes2017-12-041-0/+20
(#144) * Add a PeerTube development environment Dockerfile. * Clone from develop instead of master in developer Dockerfile.