From 72a5d22da80ff35e4528c6003d6173751f249b02 Mon Sep 17 00:00:00 2001 From: Daniel Silverstone Date: Thu, 13 Sep 2012 17:21:00 +0100 Subject: More substitutions --- etc/gitano-setup.clod | 2 +- etc/trove-setup.sed.example | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'etc') 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/ -- cgit v1.2.1