blob: 7d10ec25e0f4fbbe9dadc853709c38a8243df591 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
# Sed rules for configuring trove.
# Hostnames
## This is the hostname for the Trove instance itself
s/##TROVE_HOSTNAME##/trove-host/g
## This is the hostname for the Mason which Trove is linking to
s/##MASON_HOST##/mason-host/g
# Ports in use
## This is the port for Mason. Normally it'll be 18755
s/##MASON_PORT##/18755/g
# 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/g
s/##TROVE_COMPANY##/FooCorp International Plc/g
## 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/g
## 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/g
## The prefix used for branches and repositories for this Trove
s/##PREFIX##/trove-prefix/g
## The same prefix as above, only lua-pattern-escaped
s/##ESC_PREFIX##/trove%-prefix/g
|
