From e96a2b5d9104f27828d680ed83db076272043a81 Mon Sep 17 00:00:00 2001 From: Daniel Jakots Date: Tue, 3 Jan 2017 18:08:36 -0500 Subject: [PATCH] rajout de la syntaxe bash --- HowtoGit.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HowtoGit.md b/HowtoGit.md index 600031e6..27322052 100644 --- a/HowtoGit.md +++ b/HowtoGit.md @@ -761,7 +761,7 @@ $ git gc Il se peut qu'on change de forge (passage de gitolite à gitlab par exemple) et il faut alors migrer les dépots. Un moyen de faire : -~~~ +~~~{.bash} $ for branch in `git branch -a | grep remotes | grep -v HEAD | grep -v master`; do rbranch=$(echo $branch | tr '/' ' ' | awk '{print $3}') ; git checkout -b $rbranch $branch ; done $ git remote add gitlab gitlab@gitlab.example.com:group/repo.git && git push gitlab --all && git remote remove origin && git remote rename gitlab origin && git push --set-upstream origin master ~~~