diff options
Diffstat (limited to 'config.toml')
-rw-r--r-- | config.toml | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/config.toml b/config.toml index a259c20..2e60b4b 100644 --- a/config.toml +++ b/config.toml @@ -6,15 +6,28 @@ verbose = true tmpdir = "/tmp" # linting interval in seconds -interval = 10000 -exneuland = "http://localhost:4000" +interval = 10 + +# where to post map updates to +# exneuland = "http://localhost:4000" +# auth token for map updates token = "hello, world!" [[org]] slug = "divoc" + +# baseurl of maps as seen by the frontend url = "https://world.di.c3voc.de/maps/" -webdir = "/var/www/divoc" +# webdir into which maps should be written +webdir = "/tmp/var/www/divoc" + +# increment this if you change the server / linter config +# (part of urls for linted maps; allows indefinite browser caching) +generation = 1 + +# linter's config for this org lintconfig = "./config.json" +# map's entrypoint (only maps reachable from here are included) entrypoint = "main.json" [[org.repo]] # I hate TOML |