equal
deleted
inserted
replaced
396 Options are: |
396 Options are: |
397 -M SOURCE install Mercurial from source: local PATH, or URL, or ":" |
397 -M SOURCE install Mercurial from source: local PATH, or URL, or ":" |
398 -R DIR repository directory (default: "/var/www/phabricator-NAME/repo") |
398 -R DIR repository directory (default: "/var/www/phabricator-NAME/repo") |
399 -U full update of system packages before installation |
399 -U full update of system packages before installation |
400 -n NAME Phabricator installation name (default: "vcs") |
400 -n NAME Phabricator installation name (default: "vcs") |
|
401 -o OPTION override Isabelle system OPTION (via NAME=VAL or NAME) |
401 -r DIR installation root directory (default: "/var/www/phabricator-NAME") |
402 -r DIR installation root directory (default: "/var/www/phabricator-NAME") |
402 |
403 |
403 Install Phabricator as LAMP application (Linux, Apache, MySQL, PHP). |
404 Install Phabricator as LAMP application (Linux, Apache, MySQL, PHP). |
404 |
405 |
405 The installation name (default: "vcs") is mapped to a regular |
406 The installation name (default: "vcs") is mapped to a regular |
436 \<^verbatim>\<open>vcs\<close> means ``version control system''. The name appears in the URL for SSH |
437 \<^verbatim>\<open>vcs\<close> means ``version control system''. The name appears in the URL for SSH |
437 access, and thus has some relevance to end-users. The initial server URL |
438 access, and thus has some relevance to end-users. The initial server URL |
438 also uses the same suffix, but that can (and should) be changed later via |
439 also uses the same suffix, but that can (and should) be changed later via |
439 regular Apache configuration. |
440 regular Apache configuration. |
440 |
441 |
|
442 Option \<^verbatim>\<open>-o\<close> augments the environment of Isabelle system options: relevant |
|
443 options for Isabelle/Phabricator have the prefix ``\<^verbatim>\<open>phabricator_\<close>'' (see |
|
444 also the result of e.g. ``\<^verbatim>\<open>isabelle options -l\<close>''). |
|
445 |
441 Option \<^verbatim>\<open>-r\<close> specifies an alternative installation root directory: it needs |
446 Option \<^verbatim>\<open>-r\<close> specifies an alternative installation root directory: it needs |
442 to be accessible for the Apache web server. |
447 to be accessible for the Apache web server. |
443 |
448 |
444 Option \<^verbatim>\<open>-R\<close> specifies an alternative directory for repositories that are |
449 Option \<^verbatim>\<open>-R\<close> specifies an alternative directory for repositories that are |
445 hosted by Phabricator. Provided that it is accessible for the Apache web |
450 hosted by Phabricator. Provided that it is accessible for the Apache web |