# HG changeset patch
# User wenzelm
# Date 1573122049 -3600
# Node ID 8ac137c65776da12d73ffc825a428def19ed965e
# Parent  70205e023cb40280204593a0149da7a11f30273d
tuned messages;

diff -r 70205e023cb4 -r 8ac137c65776 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:10:06 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:20:49 2019 +0100
@@ -143,6 +143,8 @@
 
     /* basic installation */
 
+    progress.echo("\nPhabricator installation...")
+
     val root_path = if (root.nonEmpty) Path.explode(root) else default_root(name)
     val repo_path = if (repo.nonEmpty) Path.explode(repo) else default_repo(name)
 
@@ -191,7 +193,7 @@
 
     /* MySQL setup */
 
-    progress.echo("MySQL setup...")
+    progress.echo("\nMySQL setup...")
 
     File.write(Path.explode("/etc/mysql/mysql.conf.d/" + phabricator_name(ext = "cnf")),
 """[mysqld]
@@ -224,7 +226,7 @@
 
     /* SSH hosting */
 
-    progress.echo("SSH hosting setup...")
+    progress.echo("\nSSH hosting setup...")
 
     val ssh_port = ssh_alternative2
 
@@ -258,7 +260,7 @@
 
     /* Apache setup */
 
-    progress.echo("Apache setup...")
+    progress.echo("\nApache setup...")
 
     val apache_root = Path.explode("/etc/apache2")
     val apache_sites = apache_root + Path.explode("sites-available")
@@ -294,7 +296,7 @@
 
     /* PHP daemon */
 
-    progress.echo("PHP daemon setup...")
+    progress.echo("\nPHP daemon setup...")
 
     config.execute("config set phd.user " + Bash.string(daemon_user))