2015-12-15 19:47:19 +00:00
|
|
|
==========
|
|
|
|
bootloader
|
|
|
|
==========
|
2016-12-02 03:08:06 +00:00
|
|
|
|
|
|
|
Installs ``grub[2]`` on boot partition on the system. In case GRUB2 is
|
|
|
|
not available in the system, a fallback to Extlinux will happen. It's
|
|
|
|
also possible to enforce the use of Extlinux by exporting a
|
|
|
|
``DIB_EXTLINUX`` variable to the environment.
|
|
|
|
|
|
|
|
Arguments
|
|
|
|
=========
|
|
|
|
|
|
|
|
* ``DIB_GRUB_TIMEOUT`` sets the ``grub`` menu timeout. It defaults to
|
|
|
|
5 seconds. Set this to 0 (no timeout) for fast boot times.
|
2017-03-08 13:39:55 +00:00
|
|
|
|
2018-09-12 07:07:19 +00:00
|
|
|
* ``DIB_BOOTLOADER_DEFAULT_CMDLINE`` sets parameters that are appended
|
|
|
|
to the ``GRUB_CMDLINE_LINUX_DEFAULT`` values in ``grub.cfg``
|
|
|
|
configuration. It defaults to ``nofb nomodeset vga=normal``.
|