gitja - config.dhall

-rw-r--r-- config.dhall
      1 -- This is an example configuration file for gitja.
      2 -- It uses the Dhall configuration language: dhall-lang.org
      3 
      4 -- This is a folder containing repositories.
      5 let repos = ".."
      6 
      7 -- And these are relative paths from 'repos' to those repositories.
      8 let folders =
      9     [ "${repos}/gitja"
     10     ]
     11 
     12 -- These are the configurable options that are used by gitja.
     13 -- If copying, you may want to replace the relative paths for absolute paths.
     14 let config =
     15     { repos = folders
     16     , scan = False
     17     , template = "./templates/docs"
     18     , output = "./output"
     19     , host = "http://localhost:8000"
     20     }
     21 
     22 -- If `scan` is True, then gitja will look for git repositories in folders
     23 -- nested within those listed in `repos`. Otherwise, the folders in `repos` are
     24 -- assumed to be repositories themselves.
     25 
     26 -- Note: The host is available verbatim in templates.
     27 -- Port 8000 is appended here for easier testing with `python -m http.server`.
     28 
     29 in config
     30