Update to postgres12

nixos/machines/hera/cloud.nix

@@ -81,7 +81,7 @@ let
 
         postgresql = {
           enable = true;
-          package = pkgs.postgresql_9_6;
+          package = pkgs.postgresql_12;
         };
       };
       systemd = {
@@ -137,7 +137,9 @@ let
   };
 in {
   systemd.services."container@cloud" = { inherit serviceConfig unitConfig; };
-  systemd.services."container@chor-cloud" = { inherit serviceConfig unitConfig; };
+  systemd.services."container@chor-cloud" = {
+    inherit serviceConfig unitConfig;
+  };
   services = {
     nginx = {
       enable = true;

nixos/roles/matrix-synapse.nix

@@ -35,7 +35,10 @@ in {
     };
 
     # Postgres
-    postgresql.enable = true;
+    postgresql = {
+      enable = true;
+      package = pkgs.postgresql_12;
+    };
 
     # Synapse
     matrix-synapse = let

nixos/roles/update-postgres.nix

@@ -0,0 +1,29 @@
+{ config, pkgs, ... }:
+{
+  containers.temp-pg.config.services.postgresql = {
+    enable = true;
+    package = pkgs.postgresql_12;
+  };
+  environment.systemPackages =
+    let newpg = config.containers.temp-pg.config.services.postgresql;
+    in [
+      (pkgs.writeScriptBin "upgrade-pg-cluster" ''
+        set -x
+        export OLDDATA="${config.services.postgresql.dataDir}"
+        export NEWDATA="${newpg.dataDir}"
+        export OLDBIN="${config.services.postgresql.package}/bin"
+        export NEWBIN="${newpg.package}/bin"
+
+        install -d -m 0700 -o postgres -g postgres "$NEWDATA"
+        cd "$NEWDATA"
+        sudo -u postgres $NEWBIN/initdb -D "$NEWDATA"
+
+        systemctl stop postgresql    # old one
+
+        sudo -u postgres $NEWBIN/pg_upgrade \
+          --old-datadir "$OLDDATA" --new-datadir "$NEWDATA" \
+          --old-bindir $OLDBIN --new-bindir $NEWBIN \
+          "$@"
+      '')
+    ];
+}