On 10/27/2014 03:12 PM, Harald Dunkel wrote: > On 10/27/14 12:54, Pádraig Brady wrote: >> >> Good point about the man page. >> >> I've submitted a patch to mention that -a includes duplicate file systems. >> > > Thats exactly the point of this bug report: /home and > /data are not "duplicates". The server has a common > partition providing both exports, but I doubt that this > special case should matter on the client.
To the client they're both the same file system (device ID). (If you fill up one, you fill up the other). > By "df" showing /data and hiding /home it seems that > /data is somehow superior to /home. df uses the path lengths to chose the most appropriate mount point. In this edge case since the lengths are the same it went with the last mounted entry as that's the most appropriate one in some other edge cases. thanks, Pádraig. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
