diff --git a/system/boot/grub2/actions.py b/system/boot/grub2/actions.py index d7d22389..816535bb 100644 --- a/system/boot/grub2/actions.py +++ b/system/boot/grub2/actions.py @@ -74,7 +74,7 @@ def install(): #pisitools.insinto("/boot/grub2", "unicode.pf2") # Insall our theme - pisitools.insinto("/usr/share/grub/themes/pisilinux","themes/Pisilinux2.4-Grub2-Themes-1/*") + pisitools.insinto("/usr/share/grub/themes/pisilinux","themes/Pisilinux2.4-Grub2-Themes-1.1/*") #remove -r 0x0-0x7F entries to fix ugly fonts or find a suitable range parameter -r *** shelltools.system("./grub-mkfont -o DejaVuSans-10.pf2 -r 0x0-0x7F -s 10 /usr/share/fonts/dejavu/DejaVuSans.ttf") diff --git a/system/boot/grub2/pspec.xml b/system/boot/grub2/pspec.xml index 559a555e..98b52e5f 100644 --- a/system/boot/grub2/pspec.xml +++ b/system/boot/grub2/pspec.xml @@ -14,7 +14,7 @@ GNU GRUB (short for GNU GRand Unified Bootloader) is a boot loader package from the GNU Project. https://ftp.gnu.org/gnu/grub/grub-2.12.tar.xz https://ftp.gnu.org/gnu/unifont/unifont-15.1.05/unifont-15.1.05.bdf.gz - https://github.com/erkanisik1/Pisilinux2.4-Grub2-Themes/archive/refs/tags/V1.tar.gz + https://github.com/erkanisik1/Pisilinux2.4-Grub2-Themes/archive/refs/tags/v1.1.tar.gz git autogen-devel @@ -112,6 +112,13 @@ + + 2024-06-09 + 2.12 + Rebuild themes. + Mustafa Cinasal + muscnsl@gmail.com + 2024-04-24 2.12