diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2022-09-19 11:03:29 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2022-09-19 11:03:29 +0800 |
| commit | 5f85f38260892f0ca28ff3f7c5751fbe60699930 (patch) | |
| tree | 621711ace82d755ece82b621bcb7ed16f9112a90 | |
| parent | 5de4fea42c1dce41330ca1e70560661fff01b2f9 (diff) | |
reboot: add a comment for editors about why we don't provide reboot command
| -rw-r--r-- | chapter11/reboot.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/chapter11/reboot.xml b/chapter11/reboot.xml index 5eee6ca5b..ebfb0a2b1 100644 --- a/chapter11/reboot.xml +++ b/chapter11/reboot.xml @@ -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 |