On Wed, 19 Jun 2019, Brian Brombacher wrote:
I am guessing /home and / are the same filesystem? See exports(5):
Yes. This must be the explanation. With -alldirs the first field must be the root of a file system and not some directory as I put there. Thanks. Rodrigo
