pomp/setup-script-sh
1
0
Fork 0
Code Activity

added grub setup

Browse source
This commit is contained in:
Kim, Jimin 2021-11-22 09:22:13 +09:00
parent d038ec6796
commit ac86a4d6e8
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
setup.sh
View file

@ -514,10 +514,9 @@ setup_grub() {
package_install \
grub-theme-vimix
# /etc/default/grub
# GRUB_TIMEOUT=3
# GRUB_TIMEOUT_STYLE=hidden
# GRUB_THEME="/boot/grub/themes/Vimix/theme.txt"
sudo sed -i '/GRUB_TIMEOUT=/c\GRUB_TIMEOUT=1' /etc/default/grub
sudo sed -i '/GRUB_TIMEOUT_STYLE=/c\GRUB_TIMEOUT_STYLE=hidden' /etc/default/grub
sudo sed -i '/GRUB_THEME=/c\GRUB_THEME="/boot/grub/themes/Vimix/theme.txt"' /etc/default/grub
sudo grub-mkconfig -o /boot/grub/grub.cfg
}
@ -877,6 +876,7 @@ options=(
"gnome_extensions" "" off
"go" "" off
"godot" "" off
"grub" "" off
"gsmartcontrol" "" off
"inkscape" "" off
"jdk" "" off
@ -935,6 +935,7 @@ for choice in $choices; do
"gnome_extensions") setup_gnome_extensions ;;
"go") setup_go ;;
"godot") setup_godot ;;
"grub") setup_grub ;;
"gsmartcontrol") setup_gsmartcontrol ;;
"inkscape") setup_inkscape ;;
"jdk") setup_jdk ;;