Skip to content

Instantly share code, notes, and snippets.

@fingul

fingul/grub-use-saved.sh

Forked from mmdemirbas/grub-use-saved.sh
Created February 15, 2024 22:23
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save fingul/d3b2e1d22d91c62f4ff6c540dd1181b3 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save fingul/d3b2e1d22d91c62f4ff6c540dd1181b3 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @mmdemirbas mmdemirbas revised this gist Oct 8, 2012. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions grub-use-saved.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -1,3 +1,5 @@
    # @author: [email protected]

    filename=/etc/default/grub

    # Replace GRUB_DEFAULT value to 'saved'
  2. @mmdemirbas mmdemirbas created this gist Oct 8, 2012.
    14 changes: 14 additions & 0 deletions grub-use-saved.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,14 @@
    filename=/etc/default/grub

    # Replace GRUB_DEFAULT value to 'saved'
    echo :: Setting GRUB_DEFAULT=saved
    sudo sed -i 's/GRUB_DEFAULT=.*/GRUB_DEFAULT=saved/g' $filename

    # Append GRUB_SAVEDEFAULT=true after deleting old GRUB_SAVEDEFAULT's
    echo :: Setting GRUB_SAVEDEFAULT=true
    sudo sed -i '/GRUB_SAVEDEFAULT=.*/d' $filename
    sudo sed -i '$aGRUB_SAVEDEFAULT=true' $filename

    # Update config
    echo :: Calling update-grub
    sudo update-grub