aboutsummaryrefslogtreecommitdiffhomepage
path: root/support
diff options
context:
space:
mode:
Diffstat (limited to 'support')
-rw-r--r--support/docker/gitpod/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/support/docker/gitpod/Dockerfile b/support/docker/gitpod/Dockerfile
index 435370dc4..d92cd22cf 100644
--- a/support/docker/gitpod/Dockerfile
+++ b/support/docker/gitpod/Dockerfile
@@ -7,5 +7,5 @@ RUN sudo apt-get update -q && sudo apt-get install -qy \
7 redis-server 7 redis-server
8 8
9# Set up PostgreSQL. 9# Set up PostgreSQL.
10COPY --chown=gitpod:gitpod setup_postgres.sql /tmp/ 10COPY --chown=gitpod:gitpod support/docker/gitpod/setup_postgres.sql /tmp/
11RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql 11RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql