diff options
| author | Jan Keromnes <janx@linux.com> | 2020-12-02 11:03:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-02 11:03:03 +0100 |
| commit | 387d041b7a6250e028f03549287a7c83726ffa33 (patch) | |
| tree | a307079ea41627e54bbb6a85a111c1a161e14f4f /support/docker/gitpod/Dockerfile | |
| parent | 2650d6d489f775a38c5c3fdb65daabc7d55c15b5 (diff) | |
| download | PeerTube-387d041b7a6250e028f03549287a7c83726ffa33.tar.gz PeerTube-387d041b7a6250e028f03549287a7c83726ffa33.tar.zst PeerTube-387d041b7a6250e028f03549287a7c83726ffa33.zip | |
Trigger a Gitpod dev image rebuild (in order to get upstream's Node.js 12 upgrade) (#3388)
* Trigger a Gitpod dev image rebuild (in order to get upstream's Node.js 12 upgrade)
* Update Dockerfile
Diffstat (limited to 'support/docker/gitpod/Dockerfile')
| -rw-r--r-- | support/docker/gitpod/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/support/docker/gitpod/Dockerfile b/support/docker/gitpod/Dockerfile index 8f7223d85..e18c392bf 100644 --- a/support/docker/gitpod/Dockerfile +++ b/support/docker/gitpod/Dockerfile | |||
| @@ -1,5 +1,9 @@ | |||
| 1 | FROM gitpod/workspace-postgres | 1 | FROM gitpod/workspace-postgres |
| 2 | 2 | ||
| 3 | # Gitpod will not rebuild PeerTube's dev image unless *some* change is made to this Dockerfile. | ||
| 4 | # To trigger a rebuild, simply increase this counter: | ||
| 5 | ENV TRIGGER_REBUILD 1 | ||
| 6 | |||
| 3 | # Install PeerTube's dependencies. | 7 | # Install PeerTube's dependencies. |
| 4 | RUN sudo apt-get update -q && sudo apt-get install -qy \ | 8 | RUN sudo apt-get update -q && sudo apt-get install -qy \ |
| 5 | ffmpeg \ | 9 | ffmpeg \ |