aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJan Keromnes <janx@linux.com>2020-12-02 11:03:03 +0100
committerGitHub <noreply@github.com>2020-12-02 11:03:03 +0100
commit387d041b7a6250e028f03549287a7c83726ffa33 (patch)
treea307079ea41627e54bbb6a85a111c1a161e14f4f
parent2650d6d489f775a38c5c3fdb65daabc7d55c15b5 (diff)
downloadPeerTube-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
-rw-r--r--support/docker/gitpod/Dockerfile4
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 @@
1FROM gitpod/workspace-postgres 1FROM 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:
5ENV TRIGGER_REBUILD 1
6
3# Install PeerTube's dependencies. 7# Install PeerTube's dependencies.
4RUN sudo apt-get update -q && sudo apt-get install -qy \ 8RUN sudo apt-get update -q && sudo apt-get install -qy \
5 ffmpeg \ 9 ffmpeg \