Update Dockerfile

Dockerfile

@@ -13,7 +13,8 @@ ENV SOURCE_BRANCH=${SOURCE_BRANCH} \
     EXPORT_DIR=/data/exports \
     GENERATED_DIR=/data/generated \
     BACKUP_INTERVAL_SECONDS=3600 \
-    ADMINER_VERSION=4.8.1
+    ADMINER_VERSION=4.8.1 \
+    PATH=/usr/lib/postgresql/17/bin:${PATH}
 
 RUN apt-get update && apt-get install -y --no-install-recommends \
     git \
@@ -37,7 +38,8 @@ WORKDIR /bootstrap
 # This Space keeps only README.md and this Dockerfile.
 # At every container start, fetch the private GitHub repository root into /app,
 # remove repository-only files, validate the API routes, and launch the service.
-CMD ["bash", "-lc", "set -euo pipefail; \
+# Use a non-login shell so /etc/profile cannot replace the PostgreSQL image PATH.
+CMD ["bash", "-c", "set -euo pipefail; \
   : \"${GITHUB_TOKEN:?GITHUB_TOKEN is required as a Hugging Face Space Secret}\"; \
   : \"${POSTGRES_PASSWORD:?POSTGRES_PASSWORD is required as a Hugging Face Space Secret}\"; \
   TOKEN=\"${GITHUB_TOKEN}\"; \