From bb5e0e9f77813086aed7f13177f152abbb555cd6 Mon Sep 17 00:00:00 2001 From: Someone Date: Sat, 23 Aug 2025 23:42:42 +0200 Subject: [PATCH] roles/server/postgresql/files --- roles/server/postgresql/files/default/postgresql.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/roles/server/postgresql/files/default/postgresql.conf b/roles/server/postgresql/files/default/postgresql.conf index 5064618..2eaa0a8 100644 --- a/roles/server/postgresql/files/default/postgresql.conf +++ b/roles/server/postgresql/files/default/postgresql.conf @@ -54,7 +54,7 @@ ident_file = '/etc/postgresql/17/main/pg_ident.conf' # ident configuration file # (change requires restart) # If external_pid_file is not explicitly set, no extra PID file is written. -external_pid_file = '/var/run/postgresql/15-main.pid' # write an extra PID file +external_pid_file = '/run/postgresql/15-main.pid' # write an extra PID file # (change requires restart) -- 2.47.2