Glossary
Comprehensive list of Divekit terms and definitions.
This glossary provides definitions for terms used throughout the Divekit documentation.
Term | Definition |
---|---|
Divekit | A command-line tool for managing individualized programming assignments at scale. |
CLI | Command Line Interface - the primary way to interact with Divekit. |
Origin Repository | The source repository containing the assignment template and Divekit configuration. |
Distribution | A specific configuration for creating and managing student repositories. |
Individualization | The process of creating unique variations of assignments for each student. |
Secure Pipeline | Optional test repositories that run automated evaluations separately from student code. |
Members | Students or users who will receive access to distributed repositories. |
UUID | Universally Unique Identifier - used to create unique repository names. |
Linking | The connection between code and test repositories in secure pipeline setups. |
Variables | Placeholders in assignment files that are replaced with random values during individualization. |
Remote | Configuration for connecting to different GitLab instances or environments. |
Last modified September 11, 2025: docs(cli): update documentation to ~current state (9bc308b)