Hi, Sorry for the delayed response.
[email protected] (Ludovic Courtès) writes: > Andy pushed the first half of the fix as > 96bc6518002c3b2ad9f15cf36991b20bebcbbe8a. Could you check whether the > ‘ensure-not-/dev’ part below solves the rest? I see that you've pushed the 'ensure-not-/dev' part, and I have that now in my tree, but FYI it didn't solve the problem for me. My system 'parameters' file contains: (store (device "/dev/mapper/jojen-root") (mount-point "/")) and my grub.cfg still uses: search --label --set /dev/mapper/jojen-root both in the top section (just before loading the font) and within the default menu entry. As before, an error is issued twice, each time this command is run: just after entering my disk encryption password and after selecting the default menu item. Within the "old configurations" menu, all of the menu entries use: search --file --set /gnu/store/…-linux-libre-4.13.4/bzImage I don't remember if this was the case before. Mark
