This is grub bug someone forward this to grub authors!
http://askubuntu.com/questions/117525/hide-grub2-menu-unless-you-hold-down-shift-key-how-to-make-this-happen
Somehow even if HIDDEN_TIMEOUT is set to a positive value, "the" shiftkey (said to be only the right-shift !!!) is said to only work if there is also GRUB_DISABLE_OS_PROBER=true
This is grub bug someone forward this to grub authors!
http:// askubuntu. com/questions/ 117525/ hide-grub2- menu-unless- you-hold- down-shift- key-how- to-make- this-happen
Somehow even if HIDDEN_TIMEOUT is set to a positive value, "the" shiftkey (said to be only the right-shift !!!) is said to only work if there is also GRUB_DISABLE_ OS_PROBER= true