From 387d041b7a6250e028f03549287a7c83726ffa33 Mon Sep 17 00:00:00 2001 From: Jan Keromnes Date: Wed, 2 Dec 2020 11:03:03 +0100 Subject: 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 --- support/docker/gitpod/Dockerfile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'support/docker/gitpod') 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 \ -- cgit v1.2.3