Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to PostgreSQL 12 on Ubuntu 20.04;
authorwenzelm
Sat, 27 Jan 2024 22:35:14 +0100
changeset 79537 9c2adb18fb36
parent 79536 d39976404aa7
child 79538 d17d566d86c0
updated to PostgreSQL 12 on Ubuntu 20.04; more accurate command-line;
Admin/cronjob/README file | annotate | diff | comparison | revisions 
--- 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
isabelle