3rd January 2017, 8:28
(3rd January 2017, 5:52)AJSlye Wrote: Did you notice this line.I did notice the Warning note but am having a hard time interpreting these type of notices correctly and act accordingly.
Quote:Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.
This is actually an old issue as GRUB_HIDDEN_TIMEOUT and GRUB_HIDDEN_TIMEOUT_QUIET have been deprecated in grub for some time now (approx. 2013). These have been replaced with GRUB_TIMEOUT_STYLE.
Type the following into a terminal to get grubs options:
Code:info -f grub -n 'Simple configuration'
Quote:'GRUB_TIMEOUT'
Boot the default entry this many seconds after the menu is
displayed, unless a key is pressed. The default is '5'. Set to
'0' to boot immediately without displaying the menu, or to '-1' to
wait indefinitely.
If 'GRUB_TIMEOUT_STYLE' is set to 'countdown' or 'hidden', the
timeout is instead counted before the menu is displayed.
'GRUB_TIMEOUT_STYLE'
If this option is unset or set to 'menu', then GRUB will display
the menu and then wait for the timeout set by 'GRUB_TIMEOUT' to
expire before booting the default entry. Pressing a key interrupts
the timeout.
If this option is set to 'countdown' or 'hidden', then, before
displaying the menu, GRUB will wait for the timeout set by
'GRUB_TIMEOUT' to expire. If <ESC> is pressed during that time, it
will display the menu and wait for input. If a hotkey associated
with a menu entry is pressed, it will boot the associated menu
entry immediately. If the timeout expires before either of these
happens, it will boot the default entry. In the 'countdown' case,
it will show a one-line indication of the remaining time.
So basically this is what should be set to get your desired effect:
Code:GRUB_THEME=/boot/grub/themes/maui/theme.txt
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash resume=UUID=40fcaab4-82a8-4915-99e8-7d6f2e322d73"
GRUB_DISTRIBUTOR="Maui"
GRUB_DEFAULT=0
GRUB_TIMEOUT=90
GRUB_TIMEOUT_STYLE=hidden
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
Your advice did indeed rectify the booting time; I'll mark this post as [SOLVED].
I am grateful for your expert support and prompt advice, my thanks!