Fix For GitPod

diff --git a/support/docker/gitpod/Dockerfile b/support/docker/gitpod/Dockerfile
index 435370dc41f1c188a8fb4ceba6056bd8d882a7d1..d92cd22cf3ae42274e34513852ad47fe89857ec4 100644 (file)
--- 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 \
  redis-server
 
 # Set up PostgreSQL.
-COPY --chown=gitpod:gitpod setup_postgres.sql /tmp/
+COPY --chown=gitpod:gitpod support/docker/gitpod/setup_postgres.sql /tmp/
 RUN pg_start && psql -h localhost -d postgres --file=/tmp/setup_postgres.sql