bug#37977: Mount options ignored for root file system

2019-11-18 Thread Ludovic Courtès
Hello Guillaume, Guillaume Le Vaillant skribis: > The attached patch adds an 'options' parameter to > 'mount-root-file-system' and makes 'boot-system' use it with the > content of the 'options' field of the object for "/". > > It's not exactly the solution you described (adding a keyword argum

bug#37977: Mount options ignored for root file system

2019-11-17 Thread Guillaume Le Vaillant
Ludovic Courtès skribis: > The root file system is mounted by ‘mount-root-file-system’ in > linux-boot.scm, and you’re right: it happily ignores any options in the > object for “/”. :-) > > A solution would be to have ‘boot-system’ take an additional > #:root-file-system-options parameter that

bug#37977: Mount options ignored for root file system

2019-11-17 Thread Ludovic Courtès
Hi Guillaume, Guillaume Le Vaillant skribis: > Guillaume Le Vaillant skribis: > >> The filesystem options declared for the root file system are apparently >> ignored. This happens for a btrfs root filesystem on a LUKS volume. > > This also happens on a basic btrfs root file system (without LUKS)

bug#37977: Mount options ignored for root file system

2019-11-07 Thread Guillaume Le Vaillant
Guillaume Le Vaillant skribis: > The filesystem options declared for the root file system are apparently > ignored. This happens for a btrfs root filesystem on a LUKS volume. This also happens on a basic btrfs root file system (without LUKS). I tried adding "rootflags=defaults,autodefrag,compr

bug#37977: Mount options ignored for root file system

2019-10-29 Thread Guillaume Le Vaillant
The filesystem options declared for the root file system are apparently ignored. This happens for a btrfs root filesystem on a LUKS volume. Exerpt from '/etc/config.scm": --8<---cut here---start->8--- (mapped-devices (list (mapped-device (source