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: "D. Hugh Redelmeier" <hugh <at> mimosa.com>
Subject: bug#14727: closed (Re: bug#14727: minor bug in DF(1) manpage and
 techinfo page)
Date: Thu, 27 Jun 2013 11:43:03 +0000

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

Your bug report

#14727: minor bug in DF(1) manpage and techinfo page

which was filed against the coreutils package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 14727 <at> debbugs.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: 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.

[Message part 3 (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.

Previous Next

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