# HG changeset patch
# User wenzelm
# Date 1573120457 -3600
# Node ID 22fcdadc404ddd1f131ab715050ffe5463920b95
# Parent  9ce299019d21a268516f85e4254be23421e37d7d
tuned;

diff -r 9ce299019d21 -r 22fcdadc404d src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:50:05 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:54:17 2019 +0100
@@ -56,23 +56,7 @@
 
   def default_repo(name: String): Path = default_root(name) + Path.basic("repo")
 
-  val mailers_path: Path = Path.explode("mailers.json")
-
-  val mailers_template: String =
-"""[
-  {
-    "key": "example.org",
-    "type": "smtp",
-    "options": {
-      "host": "mail.example.org",
-      "port": 465,
-      "user": "phabricator@example.org",
-      "password": "********",
-      "protocol": "ssl",
-      "message-id": true
-    }
-  }
-]"""
+  val default_mailers: Path = Path.explode("mailers.json")
 
 
 
@@ -386,6 +370,22 @@
 
   /** setup mail **/
 
+  val mailers_template: String =
+"""[
+  {
+    "key": "example.org",
+    "type": "smtp",
+    "options": {
+      "host": "mail.example.org",
+      "port": 465,
+      "user": "phabricator@example.org",
+      "password": "********",
+      "protocol": "ssl",
+      "message-id": true
+    }
+  }
+]"""
+
   def phabricator_setup_mail(
     name: String = default_name,
     config_file: Option[Path] = None,
@@ -395,7 +395,7 @@
     Linux.check_system_root()
 
     val config = get_config(name)
-    val default_config_file = config.home + mailers_path
+    val default_config_file = config.home + default_mailers
 
     val mail_config = config_file getOrElse default_config_file
 
@@ -444,7 +444,7 @@
 
   Options are:
     -T USER      send test mail to Phabricator user
-    -f FILE      config file (default: """ + mailers_path + """ within installation home)
+    -f FILE      config file (default: """ + default_mailers + """ within installation home)
     -n NAME      Phabricator installation name (default: """ + quote(default_name) + """)
 
   Provide mail configuration for existing Phabricator installation. See also