On Fri, 22 Dec 2023 at 10:54, Mark Fletcher <[email protected]> wrote: > > On Fri, 22 Dec 2023 at 07:41, Anssi Saari > <[email protected]> wrote: > > > > Mark Fletcher <[email protected]> writes > > > > > The question is, what values are config_directory and prefix set to? > > > > Grub sets config_directory to point to the directory where it's reading > > it's config from. In other words, /boot. > > > > But why not just use 40_custom? It copies whatever is in the file (after > > the header) to your grub.cfg. Don't need to figure out what file goes in > > what directory. It also keeps configuration in /etc instead of moving it > > to /boot. > >
That likely would have worked too, but I have just discovered that I had a typo in my custom.cfg file, and when I fixed it, it worked. Thanks all for your help with this. Mark
