10 Apr
2023
10 Apr
'23
8:38 a.m.
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