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.)
Mike Stone -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org