The grep in question in grub-mkconfig seems quite reasonable. This may well be a grep bug. Investigating.
The grep in question in grub-mkconfig seems quite reasonable. This may well be a grep bug. Investigating.