2015-08-20 22:33:38 +02:00
|
|
|
# Values formatted like "_env:ENV_VAR_NAME:default_value" can be overridden by the specified environment variable.
|
|
|
|
# See https://github.com/yesodweb/yesod/wiki/Configuration#overriding-configuration-values-with-environment-variables
|
|
|
|
|
2018-06-27 13:32:45 +02:00
|
|
|
static-dir: "_env:STATIC_DIR:static"
|
|
|
|
host: "_env:HOST:*4" # any IPv4 host
|
|
|
|
port: "_env:PORT:3000"
|
|
|
|
approot: "_env:APPROOT:http://localhost:3000"
|
|
|
|
ip-from-header: "_env:IP_FROM_HEADER:false"
|
|
|
|
var-dir: "_env:VAR_DIR:."
|
|
|
|
contact-email: "_env:CONTACT_EMAIL:filipg@amu.edu.pl"
|
|
|
|
repo-host: "_env:REPO_HOST:ssh://gitolite@gonito.net/"
|
2021-08-21 15:02:08 +02:00
|
|
|
# How the git repos are handled
|
|
|
|
# - selfhosted - there is a git server (e.g. Gitolite) on the same
|
|
|
|
# host as the Gonito instance
|
|
|
|
# - branches - solutions are submitted to the same repo as the task
|
|
|
|
# (this is good for an internal repo within a company)
|
|
|
|
# - no-internal-git-server - there is no git server assumed, though
|
|
|
|
# REPO_HOST can be still specified
|
|
|
|
# for publishing opened solutions
|
2018-06-27 13:32:45 +02:00
|
|
|
repo-scheme: "_env:REPO_SCHEME:selfhosted"
|
|
|
|
tag-permissions: "_env:TAG_PERMISSIONS:only-admin-can-add-new-tags"
|
2018-07-24 15:33:35 +02:00
|
|
|
auto-opening: "_env:AUTO_OPENING:false"
|
2018-09-08 21:21:21 +02:00
|
|
|
leaderboard-style: "_env:LEADERBOARD_STYLE:by-submitter"
|
2021-08-21 10:26:46 +02:00
|
|
|
announcement-hook: "_env:ANNOUNCEMENT_HOOK:"
|
2019-11-25 23:09:09 +01:00
|
|
|
server-ssh-public-key: "_env:SERVER_SSH_PUBLIC_KEY:"
|
2020-03-17 20:45:10 +01:00
|
|
|
is-public: "_env:IS_PUBLIC:true"
|
2021-08-21 11:48:05 +02:00
|
|
|
menuless: "_env:MENULESS:false"
|
2015-08-20 22:33:38 +02:00
|
|
|
|
2021-02-27 22:48:48 +01:00
|
|
|
# How the output of asynchronous operations is presented
|
|
|
|
# - with-plain-text - just plain text shown by the browser;
|
|
|
|
# pros: it works with anything, cons: with NGINX the output
|
|
|
|
# is not shown progressively, only when it is finished
|
|
|
|
# - with-web-sockets - using web sockets and JavaScripts, pros:
|
|
|
|
# nicer visually, fully works with NGINX, cons: does not work
|
|
|
|
# with lighttpd
|
|
|
|
viewing-progress-style: "_env:VIEWING_PROGRESS_STYLE:with-plain-text"
|
|
|
|
|
2015-08-20 22:33:38 +02:00
|
|
|
# Optional values with the following production defaults.
|
|
|
|
# In development, they default to the inverse.
|
|
|
|
#
|
|
|
|
# development: false
|
|
|
|
# detailed-logging: false
|
|
|
|
# should-log-all: false
|
|
|
|
# reload-templates: false
|
|
|
|
# mutable-static: false
|
|
|
|
# skip-combining: false
|
|
|
|
|
|
|
|
database:
|
|
|
|
user: "_env:PGUSER:filipg"
|
|
|
|
password: "_env:PGPASS:gonito"
|
|
|
|
host: "_env:PGHOST:localhost"
|
|
|
|
port: "_env:PGPORT:5432"
|
|
|
|
database: "_env:PGDATABASE:gonito"
|
|
|
|
poolsize: "_env:PGPOOLSIZE:10"
|
|
|
|
|
2021-09-02 22:43:51 +02:00
|
|
|
copyright: © Filip Graliński, Gonito ver. 3.9.0
|
2018-06-01 16:30:35 +02:00
|
|
|
|
|
|
|
admin-user: "_env:ADMINUSER:"
|
|
|
|
admin-password: "_env:ADMINPASS:"
|
|
|
|
location: "_env:LOCATION:"
|
|
|
|
|
2020-12-09 21:55:31 +01:00
|
|
|
# If set, the key given, in the JWK format, will be used to verify and
|
|
|
|
# trust JWT tokens sent by the client as Authorization/Bearer.
|
|
|
|
# The JWT token will be checked first for a given request, if not provided
|
|
|
|
# the standard auth procedure will used.
|
|
|
|
#
|
|
|
|
# If unset, the Authorization will NOT be checked at all (only the standard
|
|
|
|
# auth procedure will be applied).
|
|
|
|
#
|
|
|
|
# A JWK key is something like:
|
|
|
|
#
|
|
|
|
# {"kty":"RSA", alg:"RS256", "use":"sig", "kid":"h01jmt_bD-1Di8i_GYbEV2a4NxhptzySHO-R8VuNHVA", "e":"AQAB", "n": "qG1elE6KPW3BYMxNpgK73MoksvbrUSfpRY4z9hU5iMsJREyD5Ar6XpjM1xAr6G7xglnOoumPC9o6FqhDHihm6QdJ5s5MA9ZyGkbi--kvy9Qc2d_VIGU-UR4vwyk3hAwXOFLhoknpQrJBJmMQvGFdas1Yr-m9EIWwT1zN7neHZkRUYZSVyQw_XghtMIWAUsLnhr6mM7nstHLafgxe5Qamzuc4K5EC_qipFXu4ugYkMDnaknlhkT43m7tcduVDnv5GV_4dBesF7FRII8tgUQWyw3Ty_FIoq43SInUPU_9cxA-qPGQz5C50th2aJl1z1snpLWS_1Zfsa8lnFsMj8_oh6w"}
|
|
|
|
#
|
|
|
|
# If you use Keycloak, it can be retrived via:
|
|
|
|
#
|
|
|
|
# https://<HOST>/auth/realms/<REALM>/protocol/openid-connect/certs
|
|
|
|
#
|
2021-04-27 07:56:55 +02:00
|
|
|
# (key/0 element, not the whole JSON!).
|
2020-12-09 21:55:31 +01:00
|
|
|
#
|
|
|
|
# Note: at the moment, only RS256 is handled.
|
|
|
|
json-web-key: "_env:JSON_WEB_KEY"
|
|
|
|
|
2021-06-28 18:38:15 +02:00
|
|
|
# Take the team name of a user from a given metadata field. Currently
|
|
|
|
# handled only when JWK is used, family_name and given_name are handled.
|
|
|
|
# If one of these is set, it is not considered a part of the username.
|
|
|
|
team-field: "_env:TEAM_FIELD"
|
|
|
|
|
2021-06-29 08:48:58 +02:00
|
|
|
# Whether to automatically assign teams for submissions.
|
|
|
|
auto-team: "_env:AUTO_TEAM:false"
|
|
|
|
|
2015-08-20 22:33:38 +02:00
|
|
|
#analytics: UA-YOURCODE
|