PeerTube

Author	SHA1	Message	Date
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
Jan Keromnes	897cab462b	Pre-build PeerTube again in dev Dockerfile. PeerTube pre-build was removed in #207 but is still valuable.	2018-01-25 14:48:06 +01: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
Jan Keromnes	492fd28167	Add a PeerTube development environment Dockerfile compatible with Janitor. (#144 ) * Add a PeerTube development environment Dockerfile. * Clone from develop instead of master in developer Dockerfile.	2017-12-04 10:58:02 +01:00