# HG changeset patch
# User wenzelm
# Date 1576079253 -3600
# Node ID 58aa62b8c6d3cce62011ebda75787d4012f4929a
# Parent  3184dbad4d7d3c42332230e47843dc30bfdaa528
more documentation;

diff -r 3184dbad4d7d -r 58aa62b8c6d3 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Wed Dec 11 14:42:12 2019 +0100
+++ b/src/Doc/System/Phabricator.thy	Wed Dec 11 16:47:33 2019 +0100
@@ -202,6 +202,28 @@
 \<close>
 
 
+section \<open>Global data storage and backups\<close>
+
+text \<open>
+  The global state of a Phabricator installation consists of two main parts:
+
+    \<^enum> The \<^emph>\<open>root directory\<close> according to
+    \<^path>\<open>/etc/isabelle-phabricator.conf\<close> or \<^verbatim>\<open>isabelle phabricator -l\<close>: it
+    contains the main PHP program suite with administrative tools, and some
+    configuration files. The default setup also puts hosted repositories here
+    (subdirectory \<^verbatim>\<open>repo\<close>).
+
+    \<^enum> Multiple \<^emph>\<open>MySQL databases\<close> with a common prefix derived from the
+    installation name --- the same name is used as database user name.
+
+  The Linux root may invoke \<^verbatim>\<open>/usr/local/bin/isabelle-phabricator-dump\<close> to
+  create a complete database dump within the root directory. Afterwards it is
+  sufficient to make a conventional \<^bold>\<open>file-system backup\<close> of everything. To
+  restore the database state, see the explanations on \<^verbatim>\<open>mysqldump\<close> in
+  \<^url>\<open>https://secure.phabricator.com/book/phabricator/article/configuring_backups\<close>.
+\<close>
+
+
 section \<open>Reference of command-line tools\<close>
 
 text \<open>