# HG changeset patch
# User wenzelm
# Date 1706391314 -3600
# Node ID 9c2adb18fb3625f205293a50c57af83bff91a110
# Parent  d39976404aa7d6a2ac0fa3b81f30f5d10fc38bb2
updated to PostgreSQL 12 on Ubuntu 20.04;
more accurate command-line;

diff -r d39976404aa7 -r 9c2adb18fb36 Admin/cronjob/README
--- a/Admin/cronjob/README	Sat Jan 27 22:15:40 2024 +0100
+++ b/Admin/cronjob/README	Sat Jan 27 22:35:14 2024 +0100
@@ -49,7 +49,7 @@
   $ createdb -E UTF8 -T template0 --locale=en_US.utf8 -U postgres -O isatest isatest
 
 - Database backup or migration:
-  https://www.postgresql.org/docs/9.5/static/backup-dump.html
+  https://www.postgresql.org/docs/12/backup-dump.html
 
-     pg_dump -U postgres -Fc -v -d isatest > db.dump
+     pg_dump -U postgres -Fc -v isatest > db.dump
   pg_restore -U postgres -Fc -v -d isatest < db.dump