cleverca22
5/25/2017 - 9:05 PM

gistfile1.txt

        # ‘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