GNU bug report logs - #14727
minor bug in DF(1) manpage and techinfo page

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Pádraig Brady <P <at> draigBrady.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#14727: closed (minor bug in DF(1) manpage and techinfo page)
Date: Thu, 27 Jun 2013 11:43:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 27 Jun 2013 12:41:54 +0100
with message-id <51CC2502.6020906 <at> draigBrady.com>
and subject line Re: bug#14727: minor bug in DF(1) manpage and techinfo page
has caused the debbugs.gnu.org bug report #14727,
regarding minor bug in DF(1) manpage and techinfo page
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
14727: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14727
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: "D. Hugh Redelmeier" <hugh <at> mimosa.com>
To: bug-coreutils <at> gnu.org
Subject: minor bug in DF(1) manpage and techinfo page
Date: Wed, 26 Jun 2013 17:39:13 -0400 (EDT)

The man page for DF says:

    If an argument is the absolute file name of a disk device node
    containing a mounted file system, df shows the space available on
    that file system rather than on the file system containing the
    device node (which is always the root file system).

Device nodes are not always on the root file system.  In particular,
on my Fedora 18 system, mount shows:

  devtmpfs on /dev type devtmpfs (rw,nosuid,seclabel,size=3038532k,nr_inodes=759633,mode=755)

Just removing the parenthetical comment fixes this.

Interestingly, the techinfo page is slightly different but still wrong:

    If an argument FILE is a disk device file containing a mounted
    file system, `df' shows the space available on that file system
    rather than on the file system containing the device node (i.e.,
    the root file system).

Another point about these sentences:

Does the pathname have to be absolute?  Experiments seem to indicate
that it does.  So the man page is more correct than the techinfo page.

[Message part 3 (message/rfc822, inline)]

From: Pádraig Brady <P <at> draigBrady.com>
To: "D. Hugh Redelmeier" <hugh <at> mimosa.com>
Cc: 14727-done <at> debbugs.gnu.org
Subject: Re: bug#14727: minor bug in DF(1) manpage and techinfo page
Date: Thu, 27 Jun 2013 12:41:54 +0100

On 06/26/2013 10:39 PM, D. Hugh Redelmeier wrote:
> The man page for DF says:
> 
>     If an argument is the absolute file name of a disk device node
>     containing a mounted file system, df shows the space available on
>     that file system rather than on the file system containing the
>     device node (which is always the root file system).
> 
> Device nodes are not always on the root file system.  In particular,
> on my Fedora 18 system, mount shows:
> 
>   devtmpfs on /dev type devtmpfs (rw,nosuid,seclabel,size=3038532k,nr_inodes=759633,mode=755)
> 
> Just removing the parenthetical comment fixes this.
> 
> Interestingly, the techinfo page is slightly different but still wrong:
> 
>     If an argument FILE is a disk device file containing a mounted
>     file system, `df' shows the space available on that file system
>     rather than on the file system containing the device node (i.e.,
>     the root file system).
> 
> Another point about these sentences:
> 
> Does the pathname have to be absolute?  Experiments seem to indicate
> that it does.  So the man page is more correct than the techinfo page.

Pushed:
http://git.sv.gnu.org/gitweb/?p=coreutils.git;a=commitdiff;h=1b90421

thanks!
Pádraig.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.