diff options
| author | Jan Keromnes <janx@linux.com> | 2018-05-16 20:25:56 +0000 |
|---|---|---|
| committer | Chocobozzz <me@florianbigard.com> | 2018-05-17 08:18:56 +0200 |
| commit | a14d3b6b23816299dba2c5e1010ea8f6eb3d3289 (patch) | |
| tree | 698a6a1347c720303d746a0605fb2809cfc10b52 /scripts/play.sh | |
| parent | 5fcbd89841be29b373c6e4c8eeaa1f27414c8c7d (diff) | |
| download | PeerTube-a14d3b6b23816299dba2c5e1010ea8f6eb3d3289.tar.gz PeerTube-a14d3b6b23816299dba2c5e1010ea8f6eb3d3289.tar.zst PeerTube-a14d3b6b23816299dba2c5e1010ea8f6eb3d3289.zip | |
Update Janitor Dockerfile
- Upgrade to newer janitortechnology/ubuntu-dev base image
- Fix workspace folder
- Add Theia port
- Dockerfile best practices
Diffstat (limited to 'scripts/play.sh')
0 files changed, 0 insertions, 0 deletions