En bref
CLI pour gérer plusieurs dépôts Git à la fois.
À quoi sert mani ?
CLI pour gérer plusieurs dépôts Git à la fois. C'est un outil de la catégorie « Développement », qui s'utilise dans le terminal et s'inscrit dans la veille open source la plus récente.
Comment ça fonctionne ?
Il s'intègre au flux de travail du développeur (terminal, Git, éditeur) sans quitter la ligne de commande, ce qui fluidifie le quotidien.
Pourquoi l'utiliser en formation ?
Il habitue les apprenants à travailler efficacement au terminal, une compétence transverse recherchée.
Bon à savoir
Étant open source, il se déploie sans licence et reste reproductible par les apprenants chez eux — un vrai atout pédagogique.
Pour démarrer
Le plus simple est de partir de la fiche officielle et d'un petit cas pratique. Découvrez mani, son installation et des exemples sur sa fiche Terminal Trove.
Besoin d'un formateur expert sur ces outils ?
tonformateur connecte les écoles et organismes de formation avec des intervenants experts du terrain.
Voir les cours à pourvoir