c83428302c
- Wyłączono `systemd-boot`, włączono `grub` z obsługą EFI. - Dodano własny motyw GRUB z grafiką `jablon.png` i plikiem `theme.txt`. - Motyw zawiera spersonalizowane kolory, czcionki i układ menu GRUB-a. - Dodano dodatkowy wpis menu GRUB-a zatytułowany „Mój system”. - Motyw kompilowany jest jako niestandardowe źródło w `pkgs.stdenv.mkDerivation`.
33 lines
658 B
Plaintext
33 lines
658 B
Plaintext
# GRUB2 gfxmenu theme
|
|
desktop-image: "jablon.png"
|
|
title-text: ""
|
|
terminal-left: "0"
|
|
terminal-top: "0"
|
|
terminal-width: "100%"
|
|
terminal-height: "100%"
|
|
terminal-border: "0"
|
|
|
|
+ boot_menu {
|
|
left = 15%
|
|
top = 30%
|
|
width = 70%
|
|
height = 40%
|
|
item_font = "DejaVu Sans Regular 12"
|
|
item_color = "#cccccc"
|
|
selected_item_color = "#ffffff"
|
|
icon_width = 32
|
|
icon_height = 32
|
|
item_height = 24
|
|
item_spacing = 12
|
|
selected_item_pixmap_style = "select_*.png"
|
|
}
|
|
|
|
+ label {
|
|
top = 82%
|
|
left = 15%
|
|
width = 70%
|
|
align = "center"
|
|
text = "Użyj strzałek do wyboru pozycji menu i Enter aby potwierdzić."
|
|
color = "#ffffff"
|
|
font = "DejaVu Sans Bold 10"
|
|
} |