diff options
| -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 \ |