[debbugs-tracker] bug#14727: closed (minor bug in DF(1) manpage and techinfo page)

[GNU bug Tracking System]

Your message dated Thu, 27 Jun 2013 12:41:54 +0100
with message-id <address@hidden>
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
address@hidden)


-- 
14727: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14727
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> minor bug in DF(1) manpage and techinfo page
>
>
>
>
> Date: 
>
> Wed, 26 Jun 2013 17:39:13 -0400 (EDT)
>
>
>
>
> User-agent: 
>
> Alpine 2.02 (LRH 1266 2009-07-14)
>
>
>
>
> 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.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#14727: minor bug in DF(1) manpage and techinfo page
>
>
>
>
> Date: 
>
> Thu, 27 Jun 2013 12:41:54 +0100
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130110 Thunderbird/17.0.2
>
>
>
>
> 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.
>
>
> --- End Message ---