Comment 23 for bug 1273764

Revision history for this message
Charles L. Rodgers (sonnyrodgers) wrote :

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.
"