diff options
Diffstat (limited to 'etc/trove-setup.sed.example')
| -rw-r--r-- | etc/trove-setup.sed.example | 6 |
1 files changed, 6 insertions, 0 deletions
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/ |