From 0d249be8b0332cef30b40c65bfbfe0086c7941ea Mon Sep 17 00:00:00 2001 From: David Prevot Date: Thu, 28 Apr 2022 10:18:28 +0200 Subject: [PATCH] HowtoGit: Improve syntax --- HowtoGit.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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