Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/cronjob/README
changeset 79537 9c2adb18fb36
parent 76153 bf9f2f4069b9 
--- 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