aboutsummaryrefslogtreecommitdiffhomepage
path: root/support/docker/dev
Commit message (Collapse)AuthorAgeFilesLines
* Improve dev Dockerfile (#1333)Kyâne Pichou2018-10-221-27/+25
| | | | | | | | | | * 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>
* Create new Docker dev image (#1173)am972018-10-095-61/+55
| | | | | | * Move the old dev docker files to support/docker/janitor * Create new Docker dev image
* 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.