Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save cleverca22/1ae8ace847581735d35e94c291b63c7a to your computer and use it in GitHub Desktop.
Save cleverca22/1ae8ace847581735d35e94c291b63c7a to your computer and use it in GitHub Desktop.
# ‘grub-reboot’ sets a one-time saved entry, which we process here and
# then delete.
if [ "${next_entry}" ]; then
set default="${next_entry}"
set next_entry=
save_env next_entry
set timeout=1
else
set default=0
set timeout=5
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment