reboot: add a comment for editors about why we don't provide reboot command

This commit is contained in:
Xi Ruoyao 2022-09-19 11:03:29 +08:00
parent 5de4fea42c
commit 5f85f38260
No known key found for this signature in database
GPG Key ID: ACAAD20E19E710E3

View File

@ -124,6 +124,9 @@ umount -v $LFS</userinput></screen>
<para>Now, reboot the system.</para>
<!-- Commented out because we don't have a host system requirement on
its init, and different init system may recommend different commands
for reboot. -->
<!--<screen role="nodump"><userinput>shutdown -r now</userinput></screen>-->
<para>Assuming the GRUB boot loader was set up as outlined earlier, the menu