From 593cc027b75a3aa2d96a1af686f9366976330d24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Tue, 12 Nov 2024 11:00:10 +0100
Subject: [PATCH] head-node: Upgrade to PostgreSQL 15.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Data has been migrated via ‘pg_dumpall’ as explained at
<https://www.postgresql.org/docs/current/upgrading.html>.
* head-node.scm (postgreslq-configuration)[postgreslq]: Change to
POSTGRESLQ-15.
---
head-node.scm | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/head-node.scm b/head-node.scm
index 9a4c751..ef791be 100644
--- a/head-node.scm
+++ b/head-node.scm
@@ -510,7 +510,11 @@ export CUIRASS_LOGGING_LEVEL=${CUIRASS_LOGGING_LEVEL:-debug}\n"
;; <https://www.postgresql.org/docs/current/runtime-config-connection.html>.
(service postgresql-service-type
(postgresql-configuration
- (postgresql postgresql-10)
+ ;; See
+ ;; <https://www.postgresql.org/docs/current/upgrading.html>
+ ;; on how to upgrade the database when migrating
+ ;; to a newer version of PostgreSQL.
+ (postgresql postgresql-15)
(config-file
(postgresql-config-file
(extra-config
--
GitLab