| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
follows #3341
|
|
|
|
| |
The support ends on December 2019: https://github.com/nodejs/Release#release-schedule
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
| |
* Move the old dev docker files to support/docker/janitor
* Create new Docker dev image
|
|
|
|
|
|
|
| |
- Upgrade to newer janitortechnology/ubuntu-dev base image
- Fix workspace folder
- Add Theia port
- Dockerfile best practices
|
|
|
| |
PeerTube pre-build was removed in #207 but is still valuable.
|
| |
|
| |
|
|
(#144)
* Add a PeerTube development environment Dockerfile.
* Clone from develop instead of master in developer Dockerfile.
|