diff options
author | stuebinm | 2022-03-28 17:07:03 +0200 |
---|---|---|
committer | stuebinm | 2022-03-28 17:07:03 +0200 |
commit | 82082e8b6f02f7fa003f8cf311122fa013ae641e (patch) | |
tree | 16f19da05557e1802539b4fd3578be5f532b2d10 /config.toml | |
parent | d15920f72891db83a9b3a96d71a8d31c0f0920a0 (diff) |
server: show helpful information for result
This includes the backlink to the lobby (auto-generated only for now)
and a "help!"-button for sending mails. Also general info regarding
which commit was linted / published.
Diffstat (limited to 'config.toml')
-rw-r--r-- | config.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.toml b/config.toml index b0b99b9..d48953a 100644 --- a/config.toml +++ b/config.toml @@ -25,6 +25,9 @@ webdir = "/tmp/var/www/divoc" # (part of urls for linted maps; allows indefinite browser caching) generation = 1 +backlink_prefix = "world://lobby#start_" +contact_mail = "world@muc.hacc.space" + # linter's config for this org lintconfig = "./config.json" # map's entrypoint (only maps reachable from here are included) |