src/Pure/Tools/phabricator.scala

       """).check
 
     val config = Config(name, root_path)
     write_config(configs ::: List(config))
 
+    config.execute("config set pygments.enabled true")
+
 
     /* local repository directory */
 
     if (!Isabelle_System.bash("mkdir -p " + File.bash_path(repo_path)).ok) {
       error("Failed to create local repository directory " + repo_path)

 
     /* MySQL setup */
 
     progress.echo("MySQL setup...")
 
+    File.write(Path.explode("/etc/mysql/mysql.conf.d/phabricator.cnf"),
+"""[mysqld]
+max_allowed_packet = 32M
+innodb_buffer_pool_size = 1600M
+local_infile = 0
+""")
+
+    Linux.service_restart("mysql")
+
+
     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.pass " + Bash.string(pass))
     }
 
     config.execute("config set storage.default-namespace " +
       Bash.string(prefix_name.replace("-", "_")))
+
+    config.execute("config set storage.mysql-engine.max-size 8388608")
 
     config.execute("storage upgrade --force")
 
 
     /* PHP daemon */

       name + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/git-upload-pack, /usr/bin/git-receive-pack, /usr/bin/hg, /usr/bin/svnserve, /usr/bin/ssh, /usr/bin/id\n")
 
     Isabelle_System.bash("chmod 0440 " + File.bash_path(sudoers_file)).check
 
 
+    /* PHP setup */
+
+    val php_version =
+      Isabelle_System.bash("""php --run 'echo PHP_MAJOR_VERSION . "." . PHP_MINOR_VERSION;'""")
+        .check.out
+
+    val php_conf =
+      Path.explode("/etc/php") + Path.basic(php_version) +  // educated guess
+        Path.explode("apache2/conf.d/phabricator.ini")
+
+    File.write(php_conf,
+      "post_max_size = 32M\n" +
+      "opcache.validate_timestamps = 0\n" +
+      "memory_limit = 512M\n")
+
+
     /* Apache setup */
 
     progress.echo("Apache setup...")
 
     val apache_root = Path.explode(options.string("phabricator_apache_root"))

 </VirtualHost>
 
 # vim: syntax=apache ts=4 sw=4 sts=4 sr noet
 """)
 
-    Isabelle_System.bash("""
+    Isabelle_System.bash( """
       set -e
       a2enmod rewrite
-      a2ensite """ + Bash.string(prefix_name) + """
-      systemctl restart apache2
-""").check
+      a2ensite """ + Bash.string(prefix_name)).check
+
+    Linux.service_restart("apache2")
 
     progress.echo("\nDONE\nWeb configuration via http://" + prefix_name + ".lvh.me")
   }