# HG changeset patch
# User wenzelm
# Date 1572971560 -3600
# Node ID 8198ceef0301475261852e213a03ae407b7dd4ee
# Parent  f4b9dd5ab0ccf235a922fb87a34c505fdfb0e227
more phabricator setup;

diff -r f4b9dd5ab0cc -r 8198ceef0301 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 16:49:33 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 17:32:40 2019 +0100
@@ -155,7 +155,7 @@
     progress.bash(cwd = root_path.file, echo = true,
       script = """
         set -e
-        chown """ + Bash.string(www_user) + """ .
+        chown """ + Bash.string(www_user) + ":" + Bash.string(www_user) + """ .
         chmod 755 .
 
         git clone https://github.com/phacility/libphutil.git
@@ -167,6 +167,22 @@
     write_config(configs ::: List(config))
 
 
+    /* local repository directory */
+
+    if (!Isabelle_System.bash("mkdir -p " + File.bash_path(repo_path)).ok) {
+      error("Failed to create local repository directory " + repo_path)
+    }
+
+    Isabelle_System.bash(cwd = repo_path.file,
+      script = """
+        set -e
+        chown -R """ + Bash.string(daemon_user) + ":" + Bash.string(daemon_user) + """ .
+        chmod 755 .
+      """).check
+
+    config.execute("config set repository.default-local-path " + File.bash_path(repo_path))
+
+
     /* MySQL setup */
 
     progress.echo("MySQL setup...")