darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (http://hub.darcs.net)

root / darcsden.conf.example

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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
# to override built-in defaults, save this as ./darcsden.conf or ~/.darcs/darcsden.conf

## for logs and user repositories, also important for the ssh key locations
# homeDir = .
## for serving the page (should contain the public/ subfolder)
# rootDir = .
# accessLog = ./log/access.log
# errorLog = ./log/error.log

## Enable user registration?
# multiuser = True
## Enable optional issue trackers?
# issuetrackers = True
## Delete repos from the filesystem when deleted in the web UI?
# deletefiles = True
## Support darcs-1 repositories?
# supportdarcs1 = False

## resource limits
## granularity is 5s, precision is +/-5s
# maxRequestTime = 60
# maxFileDisplaySize = 200000
# maxPatchDisplaySize = 200000

## Enable github integration, also needs githubAppIdVarName
## and githubAppPwdVarName.
# githubOAuth = True

## Enable Google integration, also needs googleAppIdVarName
## and googleAppPwdVarName.
# googleOAuth = True

## To configure github integration, register an application at github.
## Store the client id and client secret as environment variables.
# githubAppIdVarName = GITHUB_CLIENT_ID
# githubAppPwdVarName = GITHUB_CLIENT_SECRET

## To configure google integration, register an application at google.
## Store the client id and client secret as environment variables.
# googleAppIdVarName = GOOGLE_CLIENT_ID
# googleAppPwdVarName = GOOGLE_CLIENT_SECRET

## send address: you need to be able to send mails from
## this address using the default sendmail executable
# sendName = darcdsden
# sendEmail = darcsden@localhost

## this name/email is shown to users for contact information
#adminName = Some Admin
#adminEmail = some@admin.email

## canonical public url of the web app
## this is important eg for loading stylesheets and js
## it must end with a slash /
#baseUrl = http://some.host.name/
#hostname = some.host.name
## port on which the http server listens
#httpPort = 8902
## port for ssh connections
#sshPort = 22

## where the couchDB server is
# couchHost = 127.0.0.1
## port of the couchDB server
# couchPort = 5984
## where the redis server is
# redisHost = 127.0.0.1
## port of the redis server
# redisPort = 6379