Commit Graph

7 Commits (3a0fb65c61f80b510bce979a45d59d17948745e8)

Author SHA1 Message Date
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