[bootlin/training-materials updates] master: Ubuntu 20.04: no more need to reboot after adding a new group (5aec6426)

[Michael Opdenacker]

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

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

commit 5aec64268c03107b85330a0de4bd617f9e823ca1
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Tue May 26 18:59:01 2020 +0200

    Ubuntu 20.04: no more need to reboot after adding a new group
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

5aec64268c03107b85330a0de4bd617f9e823ca1
 labs/sysdev-u-boot/sysdev-u-boot.tex | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/labs/sysdev-u-boot/sysdev-u-boot.tex b/labs/sysdev-u-boot/sysdev-u-boot.tex
index 047c7d56..66c265a7 100644
--- a/labs/sysdev-u-boot/sysdev-u-boot.tex
+++ b/labs/sysdev-u-boot/sysdev-u-boot.tex
@@ -73,10 +73,9 @@ allowed to write to the serial console:
 sudo adduser $USER dialout
 \end{verbatim}
 
-{\bf Important}: for the group change to be effective, in Ubuntu 18.04, you have to
-{\em completely reboot} the system \footnote{As explained on
-\url{https://askubuntu.com/questions/1045993/after-adding-a-group-logoutlogin-is-not-enough-in-18-04/}.}.
-A workaround is to run \code{newgrp dialout}, but it is not global.
+{\bf Important}: for the group change to be effective, you have to
+{\em completely log out} from your session and log in again (no need to
+reboot). A workaround is to run \code{newgrp dialout}, but it is not global.
 You have to run it in each terminal.
 
 Run \code{picocom -b 115200 /dev/ttyUSB0}, to start serial