CLI Overview
The redu CLI provides command-line access to repo-edu’s course management and repository operations. It is designed for repeatable, scriptable tasks — creating repositories in bulk, cloning them for grading, running validation checks, and verifying connections.
Setup-phase operations like roster editing, LMS imports, and group set management are available only in the desktop app, where the interactive UI is better suited for reviewing and resolving data.
redu [--course <name>] <command>The --course flag selects which course to operate on. If omitted, the active course is used.
Command groups
Section titled “Command groups”| Group | Commands | Purpose |
|---|---|---|
course | list, active, show, load | Browse and select courses |
lms | verify | Test LMS connection credentials |
git | verify | Test Git provider credentials |
repo | create, clone, update | Create, clone, and update assignment repositories |
validate | — | Check roster and assignment readiness |
Getting help
Section titled “Getting help”Every command supports --help for usage details:
redu --helpredu repo create --helpredu validate --help