Re: grub.cfg

[Ralf Mardorf]

On Mon, 2023-04-10 at 10:11 +0200, Ralf Mardorf wrote:
> should it read root=LABEL or root=label or else?

Replying to myself

  root=/dev/disk/by-label/FOO ro