diff options
Diffstat (limited to 'share/bootloaders')
| -rw-r--r-- | share/bootloaders/grub-pc/dejavu-bold-14.pf2 | bin | 0 -> 191158 bytes | |||
| -rw-r--r-- | share/bootloaders/grub-pc/dejavu-bold-16.pf2 | bin | 0 -> 212142 bytes | |||
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 25 | ||||
| -rw-r--r-- | share/bootloaders/grub-pc/live-theme/theme.txt | 51 | ||||
| -rw-r--r-- | share/bootloaders/grub-pc/splash.png | bin | 0 -> 19557 bytes | |||
| -rw-r--r-- | share/bootloaders/grub-pc/splash.tga | bin | 50004 -> 0 bytes |
6 files changed, 66 insertions, 10 deletions
diff --git a/share/bootloaders/grub-pc/dejavu-bold-14.pf2 b/share/bootloaders/grub-pc/dejavu-bold-14.pf2 Binary files differnew file mode 100644 index 000000000..9b093b207 --- /dev/null +++ b/share/bootloaders/grub-pc/dejavu-bold-14.pf2 diff --git a/share/bootloaders/grub-pc/dejavu-bold-16.pf2 b/share/bootloaders/grub-pc/dejavu-bold-16.pf2 Binary files differnew file mode 100644 index 000000000..11e7f7ab7 --- /dev/null +++ b/share/bootloaders/grub-pc/dejavu-bold-16.pf2 diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index a93ceb946..1aa0c4aa5 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -1,24 +1,29 @@ set default=0 +loadfont $prefix/dejavu-bold-16.pf2 +loadfont $prefix/dejavu-bold-14.pf2 loadfont $prefix/unicode.pf2 set gfxmode=auto insmod all_video insmod gfxterm -terminal_output gfxterm - insmod png -insmod tga -if [ -e /isolinux/splash.png ] ; then - background_image /isolinux/splash.png - set color_normal=light-gray/black - set color_highlight=white/black +set color_normal=light-gray/black +set color_highlight=white/black + +if [ -e /isolinux/splash.png ]; then + # binary_syslinux modifies the theme file to point to the correct + # background picture + set theme=/boot/grub/live-theme/theme.txt +elif [ -e /boot/grub/splash.png ]; then + set theme=/boot/grub/live-theme/theme.txt else - background_image /boot/grub/splash.tga - set menu_color_normal=cyan/blue - set menu_color_highlight=white/blue + set menu_color_normal=cyan/blue + set menu_color_highlight=white/blue fi +terminal_output gfxterm + insmod play play 960 440 1 0 4 440 1 diff --git a/share/bootloaders/grub-pc/live-theme/theme.txt b/share/bootloaders/grub-pc/live-theme/theme.txt new file mode 100644 index 000000000..4ceef4b2a --- /dev/null +++ b/share/bootloaders/grub-pc/live-theme/theme.txt @@ -0,0 +1,51 @@ +desktop-image: "../splash.png" +title-color: "#ffffff" +title-font: "DejaVu Sans Bold 16" +title-text: "Live Boot Menu with GRUB" +message-font: "Unifont Regular 16" +terminal-font: "Unifont Regular 16" + +#help bar at the bottom ++ label { + top = 100%-50 + left = 0 + width = 100% + height = 20 + text = "@KEYMAP_SHORT@" + align = "center" + color = "#ffffff" + font = "DejaVu Sans Bold 14" +} + +#boot menu ++ boot_menu { + left = 10% + width = 80% + top = 52% + height = 48%-80 + item_color = "#a8a8a8" + item_font = "DejaVu Sans Bold 14" + selected_item_color= "#ffffff" + selected_item_font = "DejaVu Sans Bold 14" + item_height = 16 + item_padding = 0 + item_spacing = 4 + icon_width = 0 + icon_heigh = 0 + item_icon_space = 0 +} + +#progress bar ++ progress_bar { + id = "__timeout__" + left = 15% + top = 100%-80 + height = 16 + width = 70% + font = "DejaVu Sans Regular 14" + text_color = "#000000" + fg_color = "#ffffff" + bg_color = "#a8a8a8" + border_color = "#ffffff" + text = "@TIMEOUT_NOTIFICATION_LONG@" +} diff --git a/share/bootloaders/grub-pc/splash.png b/share/bootloaders/grub-pc/splash.png Binary files differnew file mode 100644 index 000000000..cba2d2c20 --- /dev/null +++ b/share/bootloaders/grub-pc/splash.png diff --git a/share/bootloaders/grub-pc/splash.tga b/share/bootloaders/grub-pc/splash.tga Binary files differdeleted file mode 100644 index 90b790db6..000000000 --- a/share/bootloaders/grub-pc/splash.tga +++ /dev/null |
