Cloner avec le CLI
L’extension gh-gradepush permet aux enseignants de cloner les dépôts d’une classe ou d’un devoir depuis le terminal.
Prérequis
Installez Git et le CLI GitHub sur votre ordinateur. Vous devez avoir accès à la classe et à ses dépôts. Sous Linux, un trousseau de bureau déverrouillé est requis pour conserver les identifiants.
1. Installer l’extension
gh extension install gradepush/gh-gradepush
2. Se connecter
Remplacez l’adresse ci-dessous par celle de votre établissement, puis confirmez la connexion dans le navigateur.
gh auth login
gh gradepush login --server https://grades.example.org
gh gradepush status
La connexion au CLI n’est pas disponible dans la démo publique.
3. Cloner les dépôts
- Ouvrez la classe ou le devoir dans GradePush.
- Sélectionnez Tout cloner localement.
- Copiez la commande de clonage et exécutez-la dans votre terminal.
Vous pouvez aussi utiliser ces commandes en remplaçant les identifiants de classe et de devoir :
gh gradepush clone --classroom course-101
gh gradepush clone --classroom course-101 --assignment lab-1 --destination ./student-work
Les dossiers existants sont ignorés; la commande ne met pas à jour les dépôts déjà clonés.
Se déconnecter
gh gradepush logout
Cette commande révoque la session CLI GradePush. Utilisez gh gradepush --help pour consulter les options ou ouvrez le dépôt de l’extension.