[bootlin/training-materials updates] master: sysdev: labs: use \code{} for the "mount" command (e41d62bd)

[Luca Ceresoli]

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

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

commit e41d62bdcbf6da02811d6befe8b9e067e14b24c9
Author: Luca Ceresoli <luca.ceresoli at bootlin.com>
Date:   Tue Feb 14 10:34:43 2023 +0100

    sysdev: labs: use \code{} for the "mount" command
    
    Signed-off-by: Luca Ceresoli <luca.ceresoli at bootlin.com>


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

e41d62bdcbf6da02811d6befe8b9e067e14b24c9
 labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex     | 2 +-
 labs/sysdev-block-filesystems-qemu/sysdev-block-filesystems-qemu.tex   | 2 +-
 labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex b/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
index 10934e38..f883739d 100644
--- a/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
+++ b/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
@@ -81,7 +81,7 @@ Mount this data partition on \code{/www/upload/files}.
 Once this works, modify the startup scripts in your root filesystem
 to do it automatically at boot time.
 
-Reboot your target system and with the mount command, check that
+Reboot your target system and with the \code{mount} command, check that
 \code{/www/upload/files} is now a mount point for the last SD card
 partition. Also make sure that you can still upload new images, and
 that these images are listed in the web interface.
diff --git a/labs/sysdev-block-filesystems-qemu/sysdev-block-filesystems-qemu.tex b/labs/sysdev-block-filesystems-qemu/sysdev-block-filesystems-qemu.tex
index 8dd296ae..b86896ba 100644
--- a/labs/sysdev-block-filesystems-qemu/sysdev-block-filesystems-qemu.tex
+++ b/labs/sysdev-block-filesystems-qemu/sysdev-block-filesystems-qemu.tex
@@ -67,7 +67,7 @@ mount this third partition on \code{/www/upload/files}.
 Once this works, modify the startup scripts in your root filesystem
 to do it automatically at boot time.
 
-Reboot your target system again and with the mount command, check that
+Reboot your target system again and with the \code{mount} command, check that
 \code{/www/upload/files} is now a mount point for the third SD card
 partition. Also make sure that you can still upload new images, and
 that these images are listed in the web interface.
diff --git a/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex b/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
index 84140a20..a5c64117 100644
--- a/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
+++ b/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
@@ -88,7 +88,7 @@ Mount this data partition on \code{/www/upload/files}.
 Once this works, modify the startup scripts in your root filesystem
 to do it automatically at boot time.
 
-Reboot your target system and with the mount command, check that
+Reboot your target system and with the \code{mount} command, check that
 \code{/www/upload/files} is now a mount point for the last SD card
 partition. Also make sure that you can still upload new images, and
 that these images are listed in the web interface.