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 @@ FROM gitpod/workspace-postgres +# Gitpod will not rebuild PeerTube's dev image unless *some* change is made to this Dockerfile. +# To trigger a rebuild, simply increase this counter: +ENV TRIGGER_REBUILD 1 + # Install PeerTube's dependencies. RUN sudo apt-get update -q && sudo apt-get install -qy \ ffmpeg \