Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/phabricator.scala
changeset 71054 b64fc38327ae
parent 71053 ba14aa0b5a5d
child 71055 27a998cdc0f4 
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 21:43:51 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:00:29 2019 +0100
@@ -99,7 +99,7 @@
   def user_setup(name: String, description: String, ssh_setup: Boolean = false)
   {
     if (!Linux.user_exists(name)) {
-      Linux.user_add(name, description = description, ssh_setup = ssh_setup)
+      Linux.user_add(name, description = description, system = true, ssh_setup = ssh_setup)
     }
     else if (Linux.user_description(name) != description) {
       error("User " + quote(name) + " already exists --" +
isabelle