I don't think this is a duplicate of #1814403
And I agree with the OP that the menu timeout in EFI platforms should be controlled by GRUB_TIMEOUT and not by GRUB_RECORDFAIL_TIMEOUT. It doesn't make sense to me that it's GRUB_RECORDFAIL_TIMEOUT.
However, I'd be happy to be schooled here to understand why it needs to be this way.
Cheers.
I don't think this is a duplicate of #1814403 _TIMEOUT. It doesn't make sense to me that it's GRUB_RECORDFAIL _TIMEOUT.
And I agree with the OP that the menu timeout in EFI platforms should be controlled by GRUB_TIMEOUT and not by GRUB_RECORDFAIL
However, I'd be happy to be schooled here to understand why it needs to be this way.
Cheers.