# HG changeset patch
# User wenzelm
# Date 1572462635 -3600
# Node ID a48112873f8140d1f4051fd13a199838da767bf4
# Parent  46847076477caf296bd66a6b626b0e5b70ca3f60
MySQL setup;
tuned;

diff -r 46847076477c -r a48112873f81 etc/options
--- a/etc/options	Wed Oct 30 19:23:01 2019 +0100
+++ b/etc/options	Wed Oct 30 20:10:35 2019 +0100
@@ -350,6 +350,7 @@
 option phabricator_www_user : string = "www-data"
 option phabricator_www_root : string = "/var/www"
 
+option phabricator_mysql_config : string = "/etc/mysql/debian.cnf"
 option phabricator_apache_root : string = "/etc/apache2"
 
 option phabricator_smtp_host : string = ""
diff -r 46847076477c -r a48112873f81 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Wed Oct 30 19:23:01 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Wed Oct 30 20:10:35 2019 +0100
@@ -9,6 +9,9 @@
 package isabelle
 
 
+import scala.util.matching.Regex
+
+
 object Phabricator
 {
   /** defaults **/
@@ -37,7 +40,10 @@
 
   sealed case class Config(name: String, root: Path)
   {
-    def www_root: Path = root + Path.explode("phabricator/webroot")
+    def home: Path = root + Path.explode("phabricator")
+
+    def execute(command: String): Process_Result =
+      Isabelle_System.bash("./bin/" + command, cwd = home.file).check
   }
 
   def read_config(): List[Config] =
@@ -118,6 +124,28 @@
     write_config(configs ::: List(config))
 
 
+    /* MySQL setup */
+
+    progress.echo("MySQL setup...")
+
+    def mysql_conf(R: Regex): Option[String] =
+      split_lines(File.read(Path.explode(options.string("phabricator_mysql_config")))).
+        collectFirst({ case R(a) => a })
+
+    for (user <- mysql_conf("""^user\s*=\s*(\S*)\s*$""".r)) {
+      config.execute("config set mysql.user " + Bash.string(user))
+    }
+
+    for (pass <- mysql_conf("""^password\s*=\s*(\S*)\s*$""".r)) {
+      config.execute("config set mysql.pass " + Bash.string(pass))
+    }
+
+    config.execute("config set storage.default-namespace " +
+      Bash.string(prefix_name.replace("-", "_")))
+
+    config.execute("storage upgrade --force")
+
+
     /* Apache setup */
 
     progress.echo("Apache setup...")
@@ -132,7 +160,7 @@
     #ServerName: "lvh.me" is an alias for "localhost" for testing
     ServerName """ + prefix_name + """.lvh.me
     ServerAdmin webmaster@localhost
-    DocumentRoot """ + config.www_root.implode + """
+    DocumentRoot """ + config.home.implode + """/webroot
 
     ErrorLog ${APACHE_LOG_DIR}/error.log
     RewriteEngine on