equal
deleted
inserted
replaced
144 /** administrative tools **/ |
144 /** administrative tools **/ |
145 |
145 |
146 /* Isabelle tool wrapper */ |
146 /* Isabelle tool wrapper */ |
147 |
147 |
148 val isabelle_tool1 = |
148 val isabelle_tool1 = |
149 Isabelle_Tool("phabricator", "invoke command-line tool within Phabricator home directory", args => |
149 Isabelle_Tool("phabricator", "invoke command-line tool within Phabricator home directory", |
|
150 Scala_Project.here, args => |
150 { |
151 { |
151 var list = false |
152 var list = false |
152 var name = default_name |
153 var name = default_name |
153 |
154 |
154 val getopts = |
155 val getopts = |
533 |
534 |
534 |
535 |
535 /* Isabelle tool wrapper */ |
536 /* Isabelle tool wrapper */ |
536 |
537 |
537 val isabelle_tool2 = |
538 val isabelle_tool2 = |
538 Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux", args => |
539 Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux", |
|
540 Scala_Project.here, args => |
539 { |
541 { |
540 var mercurial_source = "" |
542 var mercurial_source = "" |
541 var repo = "" |
543 var repo = "" |
542 var package_update = false |
544 var package_update = false |
543 var name = default_name |
545 var name = default_name |
640 |
642 |
641 |
643 |
642 /* Isabelle tool wrapper */ |
644 /* Isabelle tool wrapper */ |
643 |
645 |
644 val isabelle_tool3 = |
646 val isabelle_tool3 = |
645 Isabelle_Tool("phabricator_setup_mail", |
647 Isabelle_Tool("phabricator_setup_mail", "setup mail for one Phabricator installation", |
646 "setup mail for one Phabricator installation", args => |
648 Scala_Project.here, args => |
647 { |
649 { |
648 var test_user = "" |
650 var test_user = "" |
649 var name = default_name |
651 var name = default_name |
650 var config_file: Option[Path] = None |
652 var config_file: Option[Path] = None |
651 |
653 |
803 |
805 |
804 |
806 |
805 /* Isabelle tool wrapper */ |
807 /* Isabelle tool wrapper */ |
806 |
808 |
807 val isabelle_tool4 = |
809 val isabelle_tool4 = |
808 Isabelle_Tool("phabricator_setup_ssh", |
810 Isabelle_Tool("phabricator_setup_ssh", "setup ssh service for all Phabricator installations", |
809 "setup ssh service for all Phabricator installations", args => |
811 Scala_Project.here, args => |
810 { |
812 { |
811 var server_port = default_server_port |
813 var server_port = default_server_port |
812 var system_port = default_system_port |
814 var system_port = default_system_port |
813 |
815 |
814 val getopts = |
816 val getopts = |