2016-05-17 04:54:18 +03:00
|
|
|
Change the text and background color in grub
|
|
|
|
|
----------------------------------------------
|
|
|
|
|
|
|
|
|
|
* /etc/grub.d/99_colors
|
|
|
|
|
#!/bin/sh
|
2017-08-23 18:16:38 +03:00
|
|
|
exec tail -n +3 $0
|
|
|
|
|
set menu_color_highlight=dark-gray/black
|
|
|
|
|
set menu_color_normal=black/black
|
|
|
|
|
set color_normal=dark-gray/black
|
2016-05-17 04:54:18 +03:00
|
|
|
|
|
|
|
|
* chmod 755 /etc/grub.d/99_colors
|
|
|
|
|
|
|
|
|
|
* update-grub
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Change the timeout if boot fails
|
|
|
|
|
----------------------------------
|
|
|
|
|
|
|
|
|
|
* /etc/default/grub
|
|
|
|
|
GRUB_TIMEOUT=5
|
|
|
|
|
GRUB_RECORDFAIL_TIMEOUT=$GRUB_TIMEOUT
|
|
|
|
|
|
|
|
|
|
* update-grub
|
