Bug#737399: metoo

2014-10-28 Thread Pádraig Brady
On 10/28/2014 12:26 PM, Michael Stone wrote: > On Mon, Oct 27, 2014 at 11:51:44PM +, Pádraig Brady wrote: >>> --- src/df.c.orig 2014-10-27 12:14:39.633167418 -0400 >>> +++ src/df.c2014-10-27 13:16:54.524752800 -0400 >>> @@ -631,6 +631,10 @@ >>>/* Stat failed - add ME to be

Bug#737399: metoo

2014-10-28 Thread Michael Stone
On Mon, Oct 27, 2014 at 11:51:44PM +, Pádraig Brady wrote: --- src/df.c.orig 2014-10-27 12:14:39.633167418 -0400 +++ src/df.c2014-10-27 13:16:54.524752800 -0400 @@ -631,6 +631,10 @@ /* Stat failed - add ME to be able to complain about it later. */ buf.st_dev =

Bug#737399: metoo

2014-10-27 Thread Pádraig Brady
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". Th

Bug#737399: metoo

2014-10-27 Thread Pádraig Brady
On 10/27/2014 05:21 PM, Michael Stone wrote: > On Mon, Oct 27, 2014 at 11:54:57AM +, Pádraig Brady wrote: >> On 10/27/2014 08:36 AM, Harald Dunkel wrote: >>> On 10/24/14 18:24, Pádraig Brady wrote: Note /home doesn't seem to be accessible above which is another reason to prefer /

Bug#737399: metoo

2014-10-27 Thread Michael Stone
On Mon, Oct 27, 2014 at 11:54:57AM +, Pádraig Brady wrote: On 10/27/2014 08:36 AM, Harald Dunkel wrote: On 10/24/14 18:24, Pádraig Brady wrote: Note /home doesn't seem to be accessible above which is another reason to prefer /data here. What do you mean by "not accessible"? Both /home a

Bug#737399: metoo

2014-10-27 Thread Michael Stone
On Mon, Oct 27, 2014 at 04:12:04PM +0100, Harald Dunkel wrote: 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. By "df" showing /data and hid

Bug#737399: metoo

2014-10-27 Thread Harald Dunkel
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, bu

Bug#737399: metoo

2014-10-27 Thread Pádraig Brady
On 10/27/2014 08:36 AM, Harald Dunkel wrote: > On 10/24/14 18:24, Pádraig Brady wrote: >> >> Note /home doesn't seem to be accessible above >> which is another reason to prefer /data here. >> > > What do you mean by "not accessible"? Both /home and > /data work fine. I was referring to the fact t

Bug#737399: metoo

2014-10-27 Thread Harald Dunkel
On 10/24/14 18:24, Pádraig Brady wrote: > > Note /home doesn't seem to be accessible above > which is another reason to prefer /data here. > What do you mean by "not accessible"? Both /home and /data work fine. > In general I think df is behaving correctly here, > showing what file system space

Bug#737399: metoo

2014-10-24 Thread Pádraig Brady
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 - -

Bug#737399: metoo

2014-10-24 Thread Michael Stone
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/data13390666752 107

Bug#737399: metoo

2014-10-24 Thread Harald Dunkel
I've got the same problem: df doesn't show /home, which is pretty confusing, since NFS mounting /home is one of the major differences between the local server and desktop systems. # df Filesystem1K-blocksUsed Available Use% Mounted on /dev/mapper/vg00-root 32896880