Thanks! End of discussion ;-) (Except for a potential update of the man page.)
Mike > Am 05.11.2023 um 19:39 schrieb Martin Schröder <mar...@oneiros.de>: > > Am So., 5. Nov. 2023 um 19:33 Uhr schrieb Mike Fischer > <fischer+o...@lavielle.com>: >> However the default /etc/fstab does not make use of it. > >> From the 7.4 release notes: > -------------- > Make the softdep mount(8) option a no-op. Softdep was a > significant impediment to improving the vfs layer. > -------------- > > Methinks the man page could mention that. > > Best > Martin >