diff options
Diffstat (limited to 'support/docker/gitpod')
| -rw-r--r-- | support/docker/gitpod/Dockerfile | 2 |
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. |
| 10 | COPY --chown=gitpod:gitpod setup_postgres.sql /tmp/ | 10 | COPY --chown=gitpod:gitpod support/docker/gitpod/setup_postgres.sql /tmp/ |
| 11 | RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql | 11 | RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql |