grub2 rebuild

This commit is contained in:
Rmys
2020-12-07 21:54:07 +03:00
committed by GitHub
parent 08df3cf9e6
commit 7f62b30ab1
3 changed files with 5946 additions and 4 deletions
+1 -3
View File
@@ -24,7 +24,6 @@ def setup():
#shelltools.system("./autogen.sh")
autotools.configure("--disable-werror \
--with-grubdir=grub2 \
--with-bootdir='/boot' \
--program-transform-name='s,grub,grub2,'\
--program-prefix= \
--with-platform=pc \
@@ -37,7 +36,6 @@ def setup():
#shelltools.system("./autogen.sh")
autotools.configure("--disable-werror \
--with-grubdir=grub2 \
--with-bootdir='/boot' \
--program-transform-name='s,grub,grub2,'\
--program-prefix= \
--with-platform=efi \
@@ -67,7 +65,7 @@ def install():
#pisitools.insinto("/boot/grub2", "unicode.pf2")
# Insall our theme
pisitools.insinto("/usr/share/grub/themes/pisilinux","themes/Pisilinux-Bluez-0.1/*")
pisitools.insinto("/usr/share/grub/themes/pisilinux","themes/Vimix-0.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")