[bootlin/training-materials updates] master: labs/kernel-sources-download: misc updates (aeeb115e)

[Thomas Petazzoni]

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

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

commit aeeb115ec62ebc2484b3e2ad5ab51b103bae200f
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Wed May 20 15:03:56 2020 +0200

    labs/kernel-sources-download: misc updates
    
    Update size figures.
    
    Be less dramatic about having to download more than 1 GB of data.
    
    Don't say that "git pull" will be used every morning, as it clearly
    isn't something that most people doing kernel development will need to
    do.
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

aeeb115ec62ebc2484b3e2ad5ab51b103bae200f
 .../kernel-sources-download/kernel-sources-download.tex | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/labs/kernel-sources-download/kernel-sources-download.tex b/labs/kernel-sources-download/kernel-sources-download.tex
index 3b21c966..94de303d 100644
--- a/labs/kernel-sources-download/kernel-sources-download.tex
+++ b/labs/kernel-sources-download/kernel-sources-download.tex
@@ -33,10 +33,9 @@ send patches, in particular.
 To begin working with the Linux kernel sources, we need to clone its
 reference git tree, the one managed by Linus Torvalds.
 
-The trouble is you have to download more than 1 GB of data!
-
-If you are running this command from home, or if you have very fast
-access to the Internet at work (and if you are not 256 participants in the
+However, this requires downloading more than 2.7 GB of data. If you
+are running this command from home, or if you have very fast access to
+the Internet at work (and if you are not 256 participants in the
 training room), you can do it directly by connecting to
 \url{https://git.kernel.org}:
 
@@ -70,9 +69,11 @@ git checkout master
 git pull
 \end{verbatim}
 
-Of course, if you directly ran \code{git clone}, you won't have to run
-\code{git pull} today. You may run \code{git pull} every morning though,
-or at least every time you need an update of the upstream source tree.
+Of course, if you directly ran
+\code{git clone}, you won't have to run \code{git pull}, as
+\code{git clone} already retrieved the latest changes. You may need to
+run \code{git pull} in the future though, if you want to update a
+newer Linux version.
 
 \section{Accessing stable releases}
 
@@ -95,7 +96,7 @@ git fetch stable
 \end{verbatim}
 }
 
-As this still represents many git objects to download (253 MiB when 4.19 was
+As this still represents many git objects to download (339 MiB when 5.5 was
 the latest version), if you are using an already downloaded git tree,
 your instructor will probably have fetched the {\em stable} branch ahead
 of time for you too. You can check by running: