GRUB_TIMEOUT=0.1 gives me Peppermint Linux 7 unless I hit <Esc> when booting to go to Windows 7 again, which is what I very much want until 2020.
Thanks.
" Kirils Solovjovs (linux-kirils) wrote on 2015-11-02: #22
A workaround without editing any scripts or binaries: GRUB_TIMEOUT=0.1
Works for me. "
GRUB_TIMEOUT=0.1 gives me Peppermint Linux 7 unless I hit <Esc> when booting to go to Windows 7 again, which is what I very much want until 2020.
Thanks.
"
Kirils Solovjovs (linux-kirils) wrote on 2015-11-02: #22
A workaround without editing any scripts or binaries:
GRUB_TIMEOUT=0.1
Works for me.
"