diff options
| author | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2012-09-13 17:21:00 +0100 |
|---|---|---|
| committer | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2012-09-13 17:21:00 +0100 |
| commit | 72a5d22da80ff35e4528c6003d6173751f249b02 (patch) | |
| tree | 7c0a2f0effca5059b38da22c9541a81832339a63 /etc | |
| parent | 9704842ae2b3a5e7966f4deaaeee7f5ecb603ad9 (diff) | |
| download | trove-setup-72a5d22da80ff35e4528c6003d6173751f249b02.tar.gz | |
More substitutions
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/gitano-setup.clod | 2 | ||||
| -rw-r--r-- | etc/trove-setup.sed.example | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/etc/gitano-setup.clod b/etc/gitano-setup.clod index 33e5d8d..96377c2 100644 --- a/etc/gitano-setup.clod +++ b/etc/gitano-setup.clod @@ -11,6 +11,6 @@ admin.email "trove@trove-instance" admin.keyname "trove" site.name "##TROVE_TITLE## for ##TROVE_COMPANY##" -log.prefix "##TROVE_PREFIX##" +log.prefix "##TROVE_LOG_PREFIX##" setup.batch = true diff --git a/etc/trove-setup.sed.example b/etc/trove-setup.sed.example index b741a82..28c61c4 100644 --- a/etc/trove-setup.sed.example +++ b/etc/trove-setup.sed.example @@ -21,6 +21,12 @@ s/##MASON_PORT##/18755/ s/##TROVE_TITLE##/FooCorp Embedded Projects/ s/##TROVE_COMPANY##/FooCorp International Plc/ +## The log prefix for the Gitano instance on this trove. +## This is shown as [##TROVE_LOG_PREFIX##] whenever Gitano needs to say +## something to the user. Commonly this will be short form of the +## title or company +s/##TROVE_LOG_PREFIX##/foocorp-trove/ + ## The prefix used for personal repositories. Default is 'people' ## Note, since this is ESC_ it should be lua-pattern escaped. s/##ESC_PERSONAL_PREFIX##/people/ |