| Thu, 07 Nov 2019 11:00:11 +0100 |
wenzelm |
clarified errors: include stdout;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:55:57 +0100 |
wenzelm |
clarified directory;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:54:17 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:50:05 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:47:33 +0100 |
wenzelm |
clarified permissions;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2019 23:24:16 +0100 |
wenzelm |
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2019 22:51:54 +0100 |
wenzelm |
support for Phabricator mail configuration;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:55:50 +0100 |
wenzelm |
proper names for multiple installations;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:44:51 +0100 |
wenzelm |
more phabricator setup;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:08:15 +0100 |
wenzelm |
proper service name (again): it is specific to each installation;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:06:16 +0100 |
wenzelm |
back to plain name, to have it accepted my mysql;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:00:29 +0100 |
wenzelm |
prefer system user setup, e.g. avoid occurrence on login screen;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 21:43:51 +0100 |
wenzelm |
more robust: install PHP daemon after Apache;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 21:27:55 +0100 |
wenzelm |
clarified name prefixes: global config always uses "isabelle-phabricator";
|
file |
diff |
annotate
|