summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorDaniel Silverstone <daniel.silverstone@codethink.co.uk>2012-09-13 17:00:15 +0100
committerDaniel Silverstone <daniel.silverstone@codethink.co.uk>2012-09-13 17:00:15 +0100
commit5f39c9aaec9113b964655066a563e95461c3fb64 (patch)
tree593d7c2508bcf448d6c0874f5f0acb5e9bcdc942 /etc
parentf9162a48354bb5535f8b5e7321d15dfb585f5b0b (diff)
downloadtrove-setup-5f39c9aaec9113b964655066a563e95461c3fb64.tar.gz
Initial setup substitutions
Diffstat (limited to 'etc')
-rw-r--r--etc/trove-setup.sed.example32
1 files changed, 32 insertions, 0 deletions
diff --git a/etc/trove-setup.sed.example b/etc/trove-setup.sed.example
new file mode 100644
index 0000000..b741a82
--- /dev/null
+++ b/etc/trove-setup.sed.example
@@ -0,0 +1,32 @@
+# Sed rules for configuring trove.
+
+# Hostnames
+
+## This is the hostname for the Trove instance itself
+s/##TROVE_HOSTNAME##/trove-host/
+
+## This is the hostname for the Mason which Trove is linking to
+s/##MASON_HOST##/mason-host/
+
+# Ports in use
+
+## This is the port for Mason. Normally it'll be 18755
+s/##MASON_PORT##/18755/
+
+# Configuration for the CGit instance and Gitano setup
+
+## The title for this trove. '##TROVE_TITLE## Git Repositories' in
+## the CGit root page. Also '##TROVE_TITLE## for ##TROVE_COMPANY##' in
+## the Gitano site description field
+s/##TROVE_TITLE##/FooCorp Embedded Projects/
+s/##TROVE_COMPANY##/FooCorp International Plc/
+
+## 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/
+
+## The prefix used for branches and repositories for this Trove
+s/##PREFIX##/trove-prefix/
+## The same prefix as above, only lua-pattern-escaped
+s/##ESC_PREFIX##/trove%-prefix/
+