From 44daca1f4108e72b49281fb232be006c11ffab3a Mon Sep 17 00:00:00 2001 From: Chocobozzz Date: Tue, 3 Dec 2019 17:21:47 +0100 Subject: [PATCH] Try to fix gitpod --- support/docker/gitpod/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/docker/gitpod/Dockerfile b/support/docker/gitpod/Dockerfile index d92cd22cf..8f7223d85 100644 --- a/support/docker/gitpod/Dockerfile +++ b/support/docker/gitpod/Dockerfile @@ -8,4 +8,4 @@ RUN sudo apt-get update -q && sudo apt-get install -qy \ # Set up PostgreSQL. COPY --chown=gitpod:gitpod support/docker/gitpod/setup_postgres.sql /tmp/ -RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql +RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql && pg_stop -- 2.25.1