On 10/24/2014 03:14 PM, Michael Stone wrote: > On Fri, Oct 24, 2014 at 03:38:35PM +0200, you wrote: >> rootfs - - - - / >> /dev/mapper/vg00-root 32896880 4781600 26421176 16% / > >> nfs-home:/space/home - - - - /home >> nfs-home:/space/data 13390666752 10768854016 1941581824 85% /data > > I'm open to suggestions on a useful way to distinguish between these two > cases. (Without hard coding a bunch of site-specific rules into df.)
Note /home doesn't seem to be accessible above which is another reason to prefer /data here. In general I think df is behaving correctly here, showing what file system space is available on the system. If it showed both there would be an ambiguity as to whether there were two such file systems available. If you want to see all nfs file systems you can do it explicitly like: df -a -t nfs 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
