Configuration reference¶
Hint
The best way to configure INGInious is to use inginious-install. See Configuring INGInious.
Configuring INGInious is done via a file named configuration.yaml or configuration.lti.yaml.
To get started, files named configuration.example.yaml and configuration.lti.example.yaml are provided.
The different entries are :
tasks_directory- The path to the directory that contains all the task definitions, grouped by courses. (see Creating a new task)
backendThe link to the backend used. You can either set it to
localor indicate the address of your manually-managed backend.local. In this mode, which is the default, you have to ensure the docker daemon is local to your machine, or, at least, share the same directory structure. This is typically the case if you use Linux and have a local Docker daemon, or if you use Docker for Mac/Windows, or even docker-machine with local machines. This is the configuration described in this tutorial. You will need a running docker daemon on your machine for this to work. If you can use any Docker client command, likedocker info, INGInious should run flawlessly.In this mode, a supplementary config option is available,
local-config.tcp://xxx.yyy.zzz.aaa:bbbb,udp://xxx.yyy.zzz.aaa:bbbboripc:///path/to/your/sock, where the adresses are the ip/socket path of the backend you started manually. This is for advanced users only. See commandsinginious-backendandinginious-agentfor more information.
local-configThese configuration options are available only if you set
backend:local.concurrency- Number of concurrent task that can be run by INGInious. By default, it is the number of CPU in your host.
debug_host- Host to which the users should connect in order to access to the debug ssh for containers. Most of the time, just do not indicate this option: the address will be automatically guessed.
debug_ports- Range of port, in the form
64100-64200, to which INGInious can bind SSH debug containers, to allow remote debugging. By default, it is64100-64200. tmp_dir- A directory whose absolute path must be available by the docker daemon and INGInious at the same time. By default, it is
./agent_tmp.
mongo_optMongoDB client configuration.
host- MongoDB server address. If your database is user/password-protected, use the following syntax:
mongodb://USER:PASSWORD@HOSTNAME/DB_NAME database- You can change the database name if you want multiple instances or in the case of conflict.
log_level- Can be set to
INFO,WARN, orDEBUG. Specifies the logging verbosity. use_minified_js- Set to
trueto use the minified version of Javascript scripts,falseotherwise. webterm- Link to the INGInious xterm app with the following syntax:
http[s]://host:port. If set, it allows to use in-browser task debug via ssh. (See _webterm_setup for more information) plugins- A list of plugin modules together with configuration options. See Plugins for detailed information on available plugins, including their configuration. Please note that the usage of at least one authentication plugin is mandatory for the webapp.
Webapp-specific configuration¶
superadmins- A list of super-administrators who have admin access on the whole stored content.
maintenance- Set to
trueif the webapp must be disabled. backup_directory- Path to the directory where are courses backup are stored in cases of data wiping.
smtpMails can be sent by batch containers at the end of the job execution, or by plugins.
sendername- Email sender name, e.g. :
INGInious <no-reply@inginious.org> host- SMTP server.
port- SMTP port.
username- SMTP username.
password- SMTP password.
starttls- Set to
trueif TLS is needed.
LTI-specific configuration¶
The LTI interface uses most of the same configuration options as the webapp as well as the following:
lti- A list of LTI consumer key and secret values.
lti_user_name- The LTI field used to identify the user. By default this is user_id, which for many LMS system would be the numeric ID of the user. It can be set to ext_user_username which is often a unique username.
download_directory- The path to the directory where downloads are stored temporarily during the archive is being prepared.
Plugins¶
Several plugins are available to complete the INGInious feature set. Some of them are only compatible with the webapp, while others are compatible with both webapp and LTI application.
Auth plugins (webapp)¶
You need at least one auth plugin activated.
demo_auth¶
Provides a simple authentification method, mainly for demo purposes, with username/password pairs stored directly in the config file.
To enable this plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.auth.demo_auth
users:
username1: "password1"
username2: "password2"
username3: "password3"
Each key/value pair in the users field corresponds to a new username/password user.
ldap_auth¶
Uses an LDAP server to authenticate users.
To enable this plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.auth.ldap_auth
host: "your.ldap.server.com"
encryption: "ssl" #can be tls or none
base_dn: "ou=People,dc=info,dc=ucl,dc=ac,dc=be"
request: "uid={}",
prefix: "",
name: "INGI Login",
require_cert: true
Most of the parameters are self-explaining, but:
request- is the request made to the LDAP server to search the user to authentify. “{}” is replaced by the username indicated by the user.
prefix- a prefix that will be added in the internal username used in INGInious. Useful if you have multiple auth methods with usernames used in more than one method.
saml2_auth¶
Uses a SAML2-compliant identity provider (such as Shibboleth IdP) to authenticate users.
To enable this plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.auth.saml2_auth
strict: true
sp:
entityId: "<your_entity_id>"
x509cert: "<your_cert>"
privateKey: "<your_private_key>"
idp:
entityId: "https://idp.testshib.org/idp/shibboleth"
singleSignOnService:
url: "https://idp.testshib.org/idp/profile/SAML2/Redirect/SSO"
binding: "urn:oasis:names:tc:SAML:2.0:bindings:HTTP-Redirect"
x509cert: "<idp_cert>"
additionalX509certs:
- "<idp_cert>"
security:
metadataValidUntil: ""
metadataCacheDuration: ""
attributes:
cn: "urn:oid:2.5.4.3"
email: "urn:oid:1.3.6.1.4.1.5923.1.1.1.6"
uid: "urn:oid:0.9.2342.19200300.100.1.1"
Your IdP is required to provide at least attributes corresponding to the username, the complete name and the email address.
Use the attributes entry for the mapping. The additionalX509certs is a plugin-specific entry to specify several
certificates in case your IdP is able to use more than one.
This plugin mainly relies on python3-saml package and configuration parameters are interoperable. Please refer to the package documentation for more detailed configuration parameters. The SP Attribute Consuming Service (ACS) is automatically configured by the plugin.
db_auth¶
Uses the MongoDB database to authenticate users. Provides a basic email-verification based registration and password recovery. It does not support manual user management yet. The superadmin has to register the same way other users do.
To enable this plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.auth.db_auth
allow_deletion: true
For mails to be sent by the registration module, you need to configure the smtp parameter of your configuration
file. allow_deletion parameter can be used to specify if users can delete their accounts from INGInious.
Scoreboard plugin (webapp)¶
This plugin allows to generate course/tasks scoreboards. To enable the plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.scoreboard
To define a new scoreboard, an additional field scoreboard must be defined in the course.yaml file
associated to a course (See Creating a new course). For instance:
scoreboard:
- content: ["taskid1"]
name: "Scoreboard task 1"
- content: ["taskid2", "taskid3"] # sum of both score is taken as overall score
name: "Scoreboard for task 2 and 3"
- content: {"taskid4": 2, "taskid5": 3} # overall score is 2*score of taskid4 + 3*score of taskid5
name: "Another scoreboard"
reverse: True
This defines three scoreboards for the course. The first one will create a scoreboard for task id taskid1 and will
be displayed as Scoreboard task 1. The second one will create a scoreboard for taskid2 and taskid3 where
both scores are added. The last one is more complex and will create a reversed scoreboard for task taskid4 and
taskid5 where both scores are wieghted by factor 2 and 3, respectively.
The score used by this plugin for each task must be generated via a key/value custom feedback
(see feedback-custom) using the score key. Only the succeeded tasks are taken into account.
Contests plugin (webapp)¶
This plugin allows to manage an ACM/ICPC like contest inside a course between students. To enable the plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.contests
A new configuration page named Contest appears on the administration page. To enable the contest mode, check the Enable contest plugin box on the appropriate course. Please note that the plugin will override the task accessibility dates.
Simple grader plugin (webapp, lti)¶
This simple grader allows anonymous POST requests without storing submissions in database.
To enable the plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.simple_grader
courseid : "external"
page_pattern: "/external"
return_fields: "^(result|text|problems)$"
courseidis the course id you want to expose to the simple grader.page_patternis the URL at which you want to make the simple grader available.return_fieldsis a regular expression matching the submission fields that can be returned via the simple grader.
A demonstration POST form will be available at the page_pattern specified URL.
New synchronized job¶
External submissions must take the form of a POST request on the url defined by page_pattern. This POST must contains two data field:
taskid: the task id of the taskinput: the input for the task, in JSON. The input is a dictionary filled with problemid:problem_answer pairs.
The return value will contains the standard return fields of an INGInious inginious.backend job plus a “status” field that will contain “ok”.
If an internal error occurs, it will return a dictionary containing
{
"status": "error",
"status_message": "A message containing a simple description of the error"
}
New asynchronous job¶
This POST request allows new jobs to be treated asynchronously. It must contains three data fields:
taskid: the task id of the taskinput: the input for the task, in JSON. The input is a dictionary filled with problemid:problem_answer pairs.async: field that indicate that the job must be launched asynchronously. Only have to be present, content is not read.
The return value will be a dictionnary containing:
{
"status": "done",
"jobid": "the jobid of the async job. Will be needed to get the results."
}
or
{
"status": "error",
"status_message": "A message describing the error"
}
Get status of asynchronous job¶
Given a jobid in input (as field of the POST request) and will return either:
{
"status": "waiting"
}
or
{
"status": "error",
"status_message": "A message describing the error"
}
or
{
"status": "done",
"...":"..."
}
where ... are the results of the job, as defined in the return_fields configuration value.
Git Repo plugin (webapp, lti)¶
This plugin allows saving submissions history in a Git repository, according to the following path pattern :
courseid/taskid/username. The version kept in the head of branch is the latest submission made.
To enable this plugin, add to your configuration file:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.git_repo
repo_directory: "./repo_submissions"
The repo_directory parameter specify the path to the repository that must be initialized before configuration.
Task file readers plugin (webapp, lti)¶
It is possible to store task files in other formats than YAML. However, these plugins are provided for retro-compatibility with previous supported formats, which are deprecated. You therefore use these plugins at your own risks.
JSON¶
To enable the JSON task file format:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.task_file_readers.json_reader
RST¶
To enable the reStructuredText task file format:
plugins:
- plugin_module: inginious.frontend.webapp.plugins.task_file_readers.rst_reader