From 6971d8c3a10ba3bca3aa0fe7b2c09084e17f1a75 Mon Sep 17 00:00:00 2001
From: Pravesh Sharma <pravesh.sharma@enterprisedb.com>
Date: Tue, 27 Feb 2024 12:11:59 +0530
Subject: [PATCH] Fixed an issue where preferences.json mapped to container was
not having any effect on preferences. #6058
---
pkg/docker/entrypoint.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/pkg/docker/entrypoint.sh b/pkg/docker/entrypoint.sh
index 5156f5008..8b164f5bd 100755
--- a/pkg/docker/entrypoint.sh
+++ b/pkg/docker/entrypoint.sh
@@ -64,6 +64,7 @@ if [ ! -f /var/lib/pgadmin/pgadmin4.db ]; then
/venv/bin/python3 run_pgadmin.py
export PGADMIN_SERVER_JSON_FILE="${PGADMIN_SERVER_JSON_FILE:-/pgadmin4/servers.json}"
+ export PGADMIN_PREFERENCES_JSON_FILE="${PGADMIN_PREFERENCES_JSON_FILE:-/pgadmin4/preferences.json}"
# Pre-load any required servers
if [ -f "${PGADMIN_SERVER_JSON_FILE}" ]; then