34 lines
1.4 KiB
Plaintext
34 lines
1.4 KiB
Plaintext
|
#!/bin/sh -e
|
||
|
|
|
||
|
|
################################################################################
|
||
|
|
# Title: 07grub-config
|
||
|
|
# Description: This script configures grub defaults after Debian installation.
|
||
|
|
# Author: manuel rosa <manuelsilvarosa@gmail.com>
|
||
|
|
# Date: Outubro 29, 2023
|
||
|
|
# License: GPL-3.0-or-later
|
||
|
|
################################################################################
|
||
|
|
|
||
|
|
# Defines the variables
|
||
|
|
GRUB_DEFAULT=0
|
||
|
|
GRUB_TIMEOUT=5
|
||
|
|
GRUB_DISTRIBUTOR="EznixOS"
|
||
|
|
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
|
||
|
|
GRUB_CMDLINE_LINUX=""
|
||
|
|
GRUB_GFXMODE=1440x900
|
||
|
|
GRUB_DISABLE_OS_PROBER=false
|
||
|
|
|
||
|
|
# GRUB configuration file path
|
||
|
|
GRUB_CONFIG_FILE="/target/etc/default/grub"
|
||
|
|
|
||
|
|
# Modify the GRUB file
|
||
|
|
sed -i "s/^GRUB_DEFAULT=.*/GRUB_DEFAULT=$GRUB_DEFAULT/" $GRUB_CONFIG_FILE
|
||
|
|
sed -i "s/^GRUB_TIMEOUT=.*/GRUB_TIMEOUT=$GRUB_TIMEOUT/" $GRUB_CONFIG_FILE
|
||
|
|
sed -i "s/^GRUB_DISTRIBUTOR=.*/GRUB_DISTRIBUTOR=\"$GRUB_DISTRIBUTOR\"/" $GRUB_CONFIG_FILE
|
||
|
|
sed -i "s/^GRUB_CMDLINE_LINUX_DEFAULT=.*/GRUB_CMDLINE_LINUX_DEFAULT=\"$GRUB_CMDLINE_LINUX_DEFAULT\"/" $GRUB_CONFIG_FILE
|
||
|
|
sed -i "s/^GRUB_CMDLINE_LINUX=.*/GRUB_CMDLINE_LINUX=\"$GRUB_CMDLINE_LINUX\"/" $GRUB_CONFIG_FILE
|
||
|
|
sed -i "s/^#GRUB_GFXMODE=.*/GRUB_GFXMODE=$GRUB_GFXMODE/" $GRUB_CONFIG_FILE
|
||
|
|
sed -i "s/^#GRUB_DISABLE_OS_PROBER=.*/GRUB_DISABLE_OS_PROBER=$GRUB_DISABLE_OS_PROBER/" $GRUB_CONFIG_FILE
|
||
|
|
|
||
|
|
# Run update-grub after modifying the file
|
||
|
|
chroot /target update-grub
|