On Wed, Oct 30, 2019 at 06:02:35PM +0100, Javier Martinez Canillas wrote: > On 10/30/19 2:45 PM, Vladimir 'phcoder' Serbinenko wrote: > > We had a discussion with Daniel and agreed on following: > > 1) we accept the feature > > Great, thanks. > > > 2) we want to have an option to specify grub config file. And if this > > option is present, the scanning would be disabled > > Sure, you mentioned that this should be a DHCP option. Which option were > you thinking that could be used for this?
We took closer look at DHCP RFC and it seems to us that it is more complicated than we expected. So, let's do this differently. Please add a variable which can be used to disable this feature. However, it should be noted in the GRUB doc that this variable has to be set in early config file. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel