inginious-agent-docker¶
Start a Docker grading agent. This is typically only used when running the INGInious backend remotely. If you configured
INGInious to use a local backend, it is automatically run by inginious-webapp
or inginious-lti
.
inginious-agent-docker [-h] [--friendly-name FRIENDLY_NAME]
[--debug-host DEBUG_HOST]
[--debug-ports DEBUG_PORTS] [--tmpdir TMPDIR]
[--concurrency CONCURRENCY] [-v] [--debugmode]
[--disable-autorestart]
[--ssh]
[--runtime RUNTIME [RUNTIME ...]]
[--tasks TASKS | --fs {local}] [--fs-help]
backend
- -h, --help¶
Display the help message.
- --friendly-name¶
Friendly name to help identify agent.
- --debug-host DEBUG_HOST¶
The agent hostname for SSH debug. If not specified, the agent autodiscover the public IP address.
- --debug-ports DEBUG_PORTS¶
Range of port for job remote debugging. By default it is 64120-64130
- --tmpdir TMPDIR¶
Path to a directory where the agent can store information, such as caches. Defaults to ./agent_data
- --tasks TASKS¶
The path to the directory containing the courses. Default to
./tasks
.
- --concurrency CONCURRENCY¶
Maximal number of jobs that can run concurrently on this agent. By default, it is the two times the number of cores available.
- -v, --verbose¶
Increases output verbosity: logging level to DEBUG.
- --debugmode¶
Enables debug mode. For developers only.
- --disable-autorestart¶
Disables the auto restart on agent failure.
- --ssh¶
Allow this agent to handle tasks using ssh features.
- --runtime¶
Add a runtime, such as crun, runc or kata. If no runtime is given, the available runtimes are detected automatically.
Expects at least 2 arguments: the name of the runtime (eg runc), the name of the environment type (eg docker or kata). You can then add flags:
‘root’ indicates that the runtime starts containers as root
‘shared’ indicates that the containers on this runtime use the host kernel (i.e. they are not VMs)”
Common values are ‘runc docker shared’ and ‘kata-runtime kata root’.
- backend¶
The backend port, using the following syntax :
protocol://host:port
. E.g.tcp://127.0.0.1:2001
. The agent will connect to the backend listening on that port.