Update file run_onchange_after_64-grub-settings.tmpl
This commit is contained in:
parent
830bbbd176
commit
a87d5127fe
1 changed files with 6 additions and 6 deletions
|
@ -50,7 +50,7 @@ if [ -f /etc/default/grub ]; then
|
|||
if cat /etc/default/grub | grep GRUB_GFX_MODE > /dev/null; then
|
||||
sudo sed -i 's/.*GRUB_GFXMODE.*/GRUB_GFXMODE=auto/' /etc/default/grub
|
||||
else
|
||||
echo "GRUB_GFXMODE=auto" | sudo tee -a /etc/default/grub
|
||||
echo "GRUB_GFXMODE=auto" | sudo tee -a /etc/default/grub > /dev/null
|
||||
fi
|
||||
|
||||
### GRUB_GFXPAYLOAD_LINUX
|
||||
|
@ -58,7 +58,7 @@ if [ -f /etc/default/grub ]; then
|
|||
if cat /etc/default/grub | grep GRUB_GFXPAYLOAD_LINUX > /dev/null; then
|
||||
sudo sed -i 's/.*GRUB_GFXPAYLOAD_LINUX.*/GRUB_GFXPAYLOAD_LINUX="keep"/' /etc/default/grub
|
||||
else
|
||||
echo 'GRUB_GFXPAYLOAD_LINUX="keep"' | sudo tee -a /etc/default/grub
|
||||
echo 'GRUB_GFXPAYLOAD_LINUX="keep"' | sudo tee -a /etc/default/grub > /dev/null
|
||||
fi
|
||||
|
||||
### GRUB_THEME
|
||||
|
@ -66,7 +66,7 @@ if [ -f /etc/default/grub ]; then
|
|||
if cat /etc/default/grub | grep GRUB_THEME > /dev/null; then
|
||||
sudo sed -i 's/.*GRUB_THEME.*/GRUB_THEME="{{ .theme }}-'"$GRUB_RESOLUTION_TYPE"'"/' /etc/default/grub
|
||||
else
|
||||
echo 'GRUB_THEME="{{ .theme }}-'"$GRUB_RESOLUTION_TYPE"'"' | sudo tee -a /etc/default/grub
|
||||
echo 'GRUB_THEME="{{ .theme }}-'"$GRUB_RESOLUTION_TYPE"'"' | sudo tee -a /etc/default/grub > /dev/null
|
||||
fi
|
||||
|
||||
### GRUB_BACKGROUND
|
||||
|
@ -76,7 +76,7 @@ if [ -f /etc/default/grub ]; then
|
|||
# if cat /etc/default/grub | grep GRUB_BACKGROUND > /dev/null; then
|
||||
# sudo sed -i 's/.*GRUB_BACKGROUND.*/GRUB_BACKGROUND="\/usr\/local\/share\/grub\/{{ .theme }}-blue.png"/' /etc/default/grub
|
||||
# else
|
||||
# echo 'GRUB_BACKGROUND="/usr/local/share/grub/{{ .theme }}-blue.png"' | sudo tee -a /etc/default/grub
|
||||
# echo 'GRUB_BACKGROUND="/usr/local/share/grub/{{ .theme }}-blue.png"' | sudo tee -a /etc/default/grub > /dev/null
|
||||
# fi
|
||||
|
||||
### GRUB_TIMEOUT
|
||||
|
@ -84,13 +84,13 @@ if [ -f /etc/default/grub ]; then
|
|||
if cat /etc/default/grub | grep GRUB_TIMEOUT > /dev/null; then
|
||||
sudo sed -i 's/.*GRUB_TIMEOUT.*/GRUB_TIMEOUT="{{ .grub.timeout }}"/' /etc/default/grub
|
||||
else
|
||||
echo 'GRUB_TIMEOUT="{{ .grub.timeout }}"' | sudo tee -a /etc/default/grub
|
||||
echo 'GRUB_TIMEOUT="{{ .grub.timeout }}"' | sudo tee -a /etc/default/grub > /dev/null
|
||||
fi
|
||||
|
||||
### GRUB_FORCE_HIDDEN_MENU
|
||||
logg info 'Setting GRUB_FORCE_HIDDEN_MENU={{ .grub.shiftToSee }} in /etc/default/grub'
|
||||
sudo sed -i '/GRUB_FORCE_HIDDEN_MENU/d' /etc/default/grub
|
||||
echo "GRUB_FORCE_HIDDEN_MENU={{ .grub.shiftToSee }}" | sudo tee -a /etc/default/grub
|
||||
echo "GRUB_FORCE_HIDDEN_MENU={{ .grub.shiftToSee }}" | sudo tee -a /etc/default/grub > /dev/null
|
||||
|
||||
### Remove duplicate lines in /etc/default/grub
|
||||
logg info 'Ensuring there are no duplicate entries in /etc/default/grub'
|
||||
|
|
Loading…
Reference in a new issue