[bootlin/training-materials updates] master: Kernel labs: add git grep config to display line numbers (b200906a)

[Clément Léger]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/b200906a478dc1643844a214cb60560e56a2e746

>---------------------------------------------------------------

commit b200906a478dc1643844a214cb60560e56a2e746
Author: Clément Léger <clement.leger at bootlin.com>
Date:   Fri Jan 14 11:51:54 2022 +0100

    Kernel labs: add git grep config to display line numbers
    
    Signed-off-by: Clément Léger <clement.leger at bootlin.com>


>---------------------------------------------------------------

b200906a478dc1643844a214cb60560e56a2e746
 labs/kernel-sources-download/kernel-sources-download.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/labs/kernel-sources-download/kernel-sources-download.tex b/labs/kernel-sources-download/kernel-sources-download.tex
index e8153cdf..77cdfe6a 100644
--- a/labs/kernel-sources-download/kernel-sources-download.tex
+++ b/labs/kernel-sources-download/kernel-sources-download.tex
@@ -28,6 +28,14 @@ Such information will be stored in commits. It is important
 to configure it properly when the time comes to generate and
 send patches, in particular.
 
+It can also be particularly useful to display line numbers when using the
+\code{git grep} command. This can be enabled by default with the following
+configuration:
+
+\begin{verbatim}
+git config --global grep.lineNumber true
+\end{verbatim}
+
 \section{Cloning the mainline Linux tree}
 
 To begin working with the Linux kernel sources, we need to clone its