PeerTube

Author	SHA1	Message	Date
Chocobozzz	51c3544718	Deprecate Node 8 The support ends on December 2019: https://github.com/nodejs/Release#release-schedule	2019-08-07 12:07:59 +02:00
Kyâne Pichou	4293e362af	Improve dev Dockerfile (#1333 ) * Improve dev Dockerfile Use Docker best-practices for the development Dockerfile. Save 3Mo. * Update support/docker/dev/Dockerfile Co-Authored-By: pichouk <kyane@kyane.fr>	2018-10-22 14:37:40 +02:00
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