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
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
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
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
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
a585af352c
Fixes #205 : Fix Janitor configuration;
2018-01-25 11:13:07 +01:00
b270ad07f1
Add Janitor configuration file for PeerTube. ( #204 )
2018-01-16 16:46:04 +01:00
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
Chocobozzz