grub fixes
This commit is contained in:
1 parent
35a57d433d
commit
e13b4a49cd
1 file changed
+3
-2
@@ -66,13 +66,14 @@ package(){
|
||||
# default grub config
|
||||
mkdir -p $DESTDIR/etc/default
|
||||
{
|
||||
echo 'GRUB_DISTRIBUTOR="GNU/Linux"'
|
||||
echo 'GRUB_TERMINAL=console'
|
||||
echo 'GRUB_DISTRIBUTOR=""'
|
||||
echo 'GRUB_TERMINAL_OUTPUT=console'
|
||||
echo 'GRUB_CMDLINE_LINUX_DEFAULT="quiet"'
|
||||
echo 'GRUB_CMDLINE_LINUX=""'
|
||||
echo 'GRUB_DEFAULT=0'
|
||||
echo 'GRUB_TIMEOUT=0'
|
||||
echo 'GRUB_DISABLE_SUBMENU=y'
|
||||
echo 'GRUB_DISABLE_OS_PROBER=true'
|
||||
echo 'GRUB_DISABLE_RECOVERY=true'
|
||||
} > $DESTDIR/etc/default/grub
|
||||
}
|
||||
Reference in new issue
Block a user