[bootlin/training-materials updates] master: labs/setup: use __SESSION_NAME__ (e612c074)

[Thomas Petazzoni]

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

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

commit e612c074f582b837510356b673dcf9b66add1eb7
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Wed Jan 29 15:23:14 2020 +0100

    labs/setup: use __SESSION_NAME__
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

e612c074f582b837510356b673dcf9b66add1eb7
 labs/setup/setup.tex | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/labs/setup/setup.tex b/labs/setup/setup.tex
index c10ba9a6..7c2f9b2e 100644
--- a/labs/setup/setup.tex
+++ b/labs/setup/setup.tex
@@ -6,16 +6,15 @@ For the different labs in this course, your instructor has prepared a
 set of data (kernel images, kernel configurations, root filesystems
 and more). Download and extract its tarball from a terminal:
 
-
 {\scriptsize
 {\tt
 cd \\
-wget \sessionurl/\longname-labs.tar.xz \\
-tar xvf \longname-labs.tar.xz \\
+wget \sessionurl/__SESSION_NAME__-labs.tar.xz \\
+tar xvf __SESSION_NAME__-labs.tar.xz \\
 }
 }
 
-Lab data are now available in an {\tt \longname-labs} directory in
+Lab data are now available in an \code{__SESSION_NAME__-labs} directory in
 your home directory. This directory contains directories and files used in
 the various practical labs. It will also be used as working space,
 in particular to keep generated files separate when needed.