From 298db96ed52d7f7720601b4aa4fbbdf80aab2492 Mon Sep 17 00:00:00 2001 From: Yannic Date: Tue, 23 Aug 2022 07:56:38 +0200 Subject: [PATCH] Add git rev-list --- notes/git.md | 1 + 1 file changed, 1 insertion(+) diff --git a/notes/git.md b/notes/git.md index ba49c40..094c454 100644 --- a/notes/git.md +++ b/notes/git.md @@ -44,6 +44,7 @@ Récupérer toutes les branches localement : Rechercher dans toutes les branches : git grep "the magic string" `git show-ref --heads` + git rev-list –all | xargs git grep -F "the magic string" La plupart des commandes peuvent être restreintes à un chemin de fichier :