diff --git a/HowtoGit.md b/HowtoGit.md index ddd527d4..882630f7 100644 --- a/HowtoGit.md +++ b/HowtoGit.md @@ -190,14 +190,18 @@ suivante depuis le répertoire du dépôt. $ mr register ~~~ -Ensuite, `mr update` (ou plus court, `mr up`) permet de mettre à jour +Ensuite, la commande suivante (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). +~~~ +$ mr update +~~~ + 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`. +l’on utilise avec `mr checkout` (ou `mr co`). ## Commandes avancées