[bootlin/training-materials updates] master: labs/sysdev-tinysystem: make sure people don't add a space between nfsroot, and nfsvers=3, tcp (3816498d)

[Thomas Petazzoni]

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

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

commit 3816498d1f6b68c0374ff87de20b5cb76ba9b012
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Thu Jun 9 15:39:57 2022 +0200

    labs/sysdev-tinysystem: make sure people don't add a space between nfsroot, and nfsvers=3,tcp
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

3816498d1f6b68c0374ff87de20b5cb76ba9b012
 labs/sysdev-tinysystem/sysdev-tinysystem.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/labs/sysdev-tinysystem/sysdev-tinysystem.tex b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
index 7a6f2869..e192ada1 100644
--- a/labs/sysdev-tinysystem/sysdev-tinysystem.tex
+++ b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
@@ -81,11 +81,12 @@ NFS, by setting some kernel parameters.
 So add settings to the \code{bootargs} environment variable,
 {\bf in just 1 line}:
 
+{\footnotesize
 \begin{ubootinput}
 => setenv bootargs ${bootargs} root=/dev/nfs ip=192.168.0.100:::::eth0 
-    nfsroot=192.168.0.1:/home/<user>/__SESSION_NAME__-labs/tinysystem/nfsroot,
-    nfsvers=3,tcp rw
-\end{ubootinput}
+    nfsroot=192.168.0.1:/home/<user>/__SESSION_NAME__-labs/tinysystem/nfsroot,nfsvers=3,tcp rw
+  \end{ubootinput}
+}
 
 Once again, replace \code{<user>} by your actual user name.