Skip to content

Instantly share code, notes, and snippets.

@simonmichael

simonmichael/Settings.hs

Created February 19, 2014 18:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save simonmichael/9099055 to your computer and use it in GitHub Desktop.
Save simonmichael/9099055 to your computer and use it in GitHub Desktop.
Download ZIP
darcs hub settings excerpt
Raw
Settings.hs
-- hub.darcs.net settings:
-- optional features
multiuser = True -- Enable user registration ?
issuetrackers = True -- Enable optional issue trackers ?
deletefiles = True -- Delete repos from the filesystem when deleted in the web UI ?
-- app url
baseUrl = "http://" ++ hostname ++ basePort ++ basePath
hostname = "hub.darcs.net"
#ifndef DEBUG
basePort = ""
#else
basePort = ":8902"
#endif
basePath = "/" -- must end with a slash
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment