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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 14727 in the body.
You can then email your comments to 14727 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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 #10 received at 14727-done <at> debbugs.gnu.org (full text, mbox):

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.