Trigger a Gitpod dev image rebuild (in order to get upstream's Node.js 12 upgrade...

[github/Chocobozzz/PeerTube.git] / support / docker / gitpod / Dockerfile

diff --git a/support/docker/gitpod/Dockerfile b/support/docker/gitpod/Dockerfile
index 435370dc41f1c188a8fb4ceba6056bd8d882a7d1..e18c392bfceb89d8203fe4f4851a4645399e0b60 100644 (file)
--- 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 \
@@ -7,5 +11,5 @@ RUN sudo apt-get update -q && sudo apt-get install -qy \
  redis-server
 
 # Set up PostgreSQL.
-COPY --chown=gitpod:gitpod setup_postgres.sql /tmp/
-RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql
+COPY --chown=gitpod:gitpod support/docker/gitpod/setup_postgres.sql /tmp/
+RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql && pg_stop