74 lines
3.0 KiB
YAML
74 lines
3.0 KiB
YAML
default: &default
|
|
flowr:
|
|
# When enabled, flowr can assist learners with related search results from
|
|
# StackOverflow.com regarding exceptions that occurred during code execution.
|
|
# The search is initiated through the learners' browser and displayed in the output pane.
|
|
enabled: false
|
|
# The number of search results to be displayed
|
|
answers_per_query: 3
|
|
|
|
code_pilot:
|
|
# When enabled, CodePilot can be used by learners to request individual help by a tutor
|
|
# through a video conferencing system. Optionally, it also provides access to recordings
|
|
# of previous sessions. Support for CodePilot is currently in beta.
|
|
enabled: false
|
|
# The root URL of CodePilot
|
|
url: //localhost:3000
|
|
|
|
codeharbor:
|
|
# When enabled, CodeHarbor is integrated in the teachers' view and allows importing
|
|
# and exporting exercises from CodeOcean using the ProFormA XML format to CodeHarbor.
|
|
enabled: false
|
|
# The root URL of CodeHarbor
|
|
url: https://codeharbor.openhpi.de
|
|
|
|
codeocean_events:
|
|
# When enabled, learner-specific events within the editor are stored and can be used
|
|
# as part of learning analytics. This setting enables the JavaScript event handlers.
|
|
enabled: false
|
|
|
|
prometheus_exporter:
|
|
# When enabled, a dedicated endpoint using the Prometheus format is offered and might
|
|
# be used by a Prometheus-compatible monitoring system. Exported metrics include absolute
|
|
# counters of all relations with specific support for Request-for-Comments.
|
|
enabled: false
|
|
|
|
runner_management:
|
|
# When enabled, CodeOcean delegates the handling and management of (containerized) runners
|
|
# to a dedicated runner management. Otherwise, code executions are performed locally using
|
|
# Docker and without pre-warming support (one container per execution).
|
|
enabled: true
|
|
# The strategy to use. Possible values are: poseidon, docker_container_pool
|
|
strategy: docker_container_pool
|
|
# The root URL of the runner management to use
|
|
# If a hostname is specified and the target host is reachable via IPv6, the WebSocket
|
|
# connection might not use the IPv6-to-IPv4 fallback but rather fail unexpectedly.
|
|
url: http://127.0.0.1:7100
|
|
# The root certificate authority to trust for TLS connections to the runner management (Poseidon only)
|
|
# ca_file: /example/certificates/ca.crt
|
|
# The authorization token for connections to the runner management (Poseidon only)
|
|
# If TLS support is not enabled, this token is transmitted in clear text!
|
|
# token: SECRET
|
|
# The maximum time in seconds a runner may idle at the runner management before it is removed.
|
|
# Each begin of an interaction with the runner resets this time. Thus, this value should
|
|
# be truly greater than any permitted execution time of an execution environment.
|
|
unused_runner_expiration_time: 180
|
|
|
|
|
|
development:
|
|
<<: *default
|
|
flowr:
|
|
enabled: true
|
|
codeharbor:
|
|
enabled: true
|
|
|
|
|
|
production:
|
|
<<: *default
|
|
prometheus_exporter:
|
|
enabled: true
|
|
|
|
|
|
test:
|
|
<<: *default
|