# HG changeset patch
# User wenzelm
# Date 1573123217 -3600
# Node ID 5bb2235d843d67e5c30b7ed2b26bf2b6426c7f2e
# Parent  41b6ca223500f42e55fff0d0d4fca6134ab14a84
clarified command-line;

diff -r 41b6ca223500 -r 5bb2235d843d src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:29:03 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:40:17 2019 +0100
@@ -330,15 +330,17 @@
     {
       var repo = ""
       var package_update = false
+      var name = default_name
       var root = ""
 
       val getopts =
         Getopts("""
-Usage: isabelle phabricator_setup [OPTIONS] [NAME]
+Usage: isabelle phabricator_setup [OPTIONS]
 
   Options are:
     -R DIR       repository directory (default: """ + default_repo("NAME") + """)
     -U           full update of system packages before installation
+    -n NAME      Phabricator installation name (default: """ + quote(default_name) + """)
     -r DIR       installation root directory (default: """ + default_root("NAME") + """)
 
   Install Phabricator as Ubuntu LAMP application (Linux, Apache, MySQL, PHP).
@@ -346,25 +348,20 @@
   Slogan: "Discuss. Plan. Code. Review. Test.
   Every application your project needs, all in one tool."
 
-  The installation NAME (default: """ + quote(default_name) + """) is mapped to
-  a regular Unix user and used for public SSH access.
+  The installation name (default: """ + quote(default_name) + """) is mapped to a regular
+  Unix user; this is relevant for public SSH access.
 """,
           "R:" -> (arg => repo = arg),
           "U" -> (_ => package_update = true),
+          "n:" -> (arg => name = arg),
           "r:" -> (arg => root = arg))
 
       val more_args = getopts(args)
-
-      val name =
-        more_args match {
-          case Nil => default_name
-          case List(name) => name
-          case _ => getopts.usage()
-        }
+      if (more_args.nonEmpty) getopts.usage()
 
       val progress = new Console_Progress
 
-      phabricator_setup(name, root = root, repo = repo,
+      phabricator_setup(name = name, root = root, repo = repo,
         package_update = package_update, progress = progress)
     })