HowtoGit: document mr(1)
This commit is contained in:
parent
b0ccc7c1c3
commit
d4b30a1ad7
21
HowtoGit.md
21
HowtoGit.md
|
@ -178,6 +178,27 @@ Supprimer les branches locales qui ne sont pas présentes sur le dépôt distant
|
||||||
$ git fetch -p
|
$ git fetch -p
|
||||||
~~~
|
~~~
|
||||||
|
|
||||||
|
### Gestion groupée
|
||||||
|
|
||||||
|
`mr(1)` (paquet [myrepos](https://myrepos.branchable.com/) dans Debian)
|
||||||
|
permet de gérer plusieurs dépôts Git (entre autres) de façon unifiée.
|
||||||
|
|
||||||
|
Pour ajouter un dépôt à `~/.mrconfig` il suffit de lancer la commande
|
||||||
|
suivante depuis le répertoire du dépôt.
|
||||||
|
|
||||||
|
~~~
|
||||||
|
$ mr register
|
||||||
|
~~~
|
||||||
|
|
||||||
|
Ensuite, `mr update` (ou plus court, `mr up`) permet de mettre à jour
|
||||||
|
tous les dépôts enregistrés dans les sous-répertoires. La mise à jour
|
||||||
|
peut aussi être réalisée en parallèle (`mr -j5 up` lance cinq tâches en
|
||||||
|
parallèle).
|
||||||
|
|
||||||
|
Il est possible de récupérer le fichier de configuration `~/.mrconfig`
|
||||||
|
pour réinitialiser rapidement sur une nouvelle machine les dépôts que
|
||||||
|
l’on utilise avec `mr checkout`.
|
||||||
|
|
||||||
## Commandes avancées
|
## Commandes avancées
|
||||||
|
|
||||||
### Afficher l'historique
|
### Afficher l'historique
|
||||||
|
|
Loading…
Reference in a new issue