[bootlin/training-materials updates] master: labs/sysdev-buildroot: don't reboot when not necessary (8ca26290)

[Michael Opdenacker]

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

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

commit 8ca2629074298843a7062150b09ee48243d300a2
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Apr 7 09:46:52 2023 +0200

    labs/sysdev-buildroot: don't reboot when not necessary
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

8ca2629074298843a7062150b09ee48243d300a2
 labs/sysdev-buildroot/sysdev-buildroot.tex | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/labs/sysdev-buildroot/sysdev-buildroot.tex b/labs/sysdev-buildroot/sysdev-buildroot.tex
index 7c24fcf4..0c9b43c5 100644
--- a/labs/sysdev-buildroot/sysdev-buildroot.tex
+++ b/labs/sysdev-buildroot/sysdev-buildroot.tex
@@ -321,7 +321,8 @@ mkdir -p board/bootlin/training/rootfs-overlay/var/lib/mpd/music
 cp ../data/music/* board/bootlin/training/rootfs-overlay/var/lib/mpd/music
 \end{bashinput}
 
-Update your root filesystem, and restart your system.
+Update your root filesystem. Thanks to NFS, you don't need to restart
+your system.
 
 Using the \code{ps} command, check that the \code{mpd} server
 was started by the system, as implemented by the
@@ -387,9 +388,13 @@ add this file to our overlay:
 cp ../data/mpd.conf board/bootlin/training/rootfs-overlay/etc/
 \end{bashinput}
 
-Run Buildroot again, update your root filesystem, reboot (to get MPD
-restarted with the new configuration file), and make sure modifying
-the volume now works.
+Run Buildroot again and update your root filesystem. Here again, you
+don't need to reboot. It's sufficient to restart MPD to make it read
+the new configuration file:
+
+\bashcmd{# /etc/init.d/S95mpd restart}
+
+You can now make sure that modifying the volume works.
 
 Later, we will compile and debug a custom MPD client application.