GNU bug report logs - #15041
info df: typo "pseude" (pseudo)

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 15041 in the body.
You can then email your comments to 15041 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: Filipus Klutiero <chealer <at> gmail.com>
To: bug-coreutils <at> gnu.org
Subject: info df: typo "pseude" (pseudo)
Date: Wed, 07 Aug 2013 00:41:49 -0400

info df contains:
> With the same logic, `df' elides a mount entry of a dummy pseude
> device if there is another mount entry of a real block device for that
> mount point with the same device number, e.g. the early-boot pseudo
> file system `rootfs' is not shown per default when already the real
> root device has been mounted.

"pseude" should read "pseudo".

By the way, the page refers in a lot of places to disk space and disks in general. This will need generalization now that SSDs are getting mainstream.

-- 
Filipus Klutiero
http://www.philippecloutier.com

Message #10 received at 15041-done <at> debbugs.gnu.org (full text, mbox):

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: Filipus Klutiero <chealer <at> gmail.com>
Cc: 15041-done <at> debbugs.gnu.org
Subject: Re: bug#15041: info df: typo "pseude" (pseudo)
Date: Wed, 07 Aug 2013 10:42:08 +0200

On 08/07/2013 06:41 AM, Filipus Klutiero wrote:
> info df contains:
>> With the same logic, `df' elides a mount entry of a dummy pseude
>> device if there is another mount entry of a real block device for that
>> mount point with the same device number, e.g. the early-boot pseudo
>> file system `rootfs' is not shown per default when already the real
>> root device has been mounted.
> 
> "pseude" should read "pseudo".
> 
> By the way, the page refers in a lot of places to disk space and 
> disks in general. This will need generalization now that SSDs are
> getting mainstream.


Thanks for the report.  I'll push the following patch soon.
I'm marking this bug as "done".

Regarding the use of the word "disk": I think that's a general problem,
because df is not working with "disks" but rather with "file systems".
The underlying hardware (SATA disk, SSD, RAID, whatsoever) is not relevant
here.  I think that needs further discussion.

Have a nice day,
Berny


From a6e11f386b6cfa788a0bb5839cd375189827c878 Mon Sep 17 00:00:00 2001
From: Bernhard Voelker <mail <at> bernhard-voelker.de>
Date: Wed, 7 Aug 2013 10:29:48 +0200
Subject: [PATCH] doc: fix typo in description of df

* doc/coreutils.texi (df invocation): s/pseude/pseudo/
Fixes http://bugs.gnu.org/15041
---
 doc/coreutils.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/coreutils.texi b/doc/coreutils.texi
index 81bc97f..5139809 100644
--- a/doc/coreutils.texi
+++ b/doc/coreutils.texi
@@ -11054,7 +11054,7 @@ for that device with the shortest mount point name in the list of file systems
 (@var{mtab}), i.e., it hides duplicate entries, unless the @option{-a} option is
 specified.

-With the same logic, @command{df} elides a mount entry of a dummy pseude device
+With the same logic, @command{df} elides a mount entry of a dummy pseudo device
 if there is another mount entry of a real block device for that mount point with
 the same device number, e.g. the early-boot pseudo file system @samp{rootfs} is
 not shown per default when already the real root device has been mounted.
-- 
1.8.3.1

Message #13 received at 15041-done <at> debbugs.gnu.org (full text, mbox):

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: 15041-done <at> debbugs.gnu.org, chealer <at> gmail.com
Subject: Re: bug#15041: info df: typo "pseude" (pseudo)
Date: Wed, 07 Aug 2013 13:48:55 +0200

On 08/07/2013 10:42 AM, Bernhard Voelker wrote:
> On 08/07/2013 06:41 AM, Filipus Klutiero wrote:

> Thanks for the report.  I'll push the following patch soon.

Hi Filipus,

I pushed it in your name:

  http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=5d93df1b

Thanks again!

Have a nice day,
Berny

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

From: Filipus Klutiero <chealer <at> gmail.com>
To: Bernhard Voelker <mail <at> bernhard-voelker.de>, 15041 <at> debbugs.gnu.org
Subject: Re: bug#15041: info df: typo "pseude" (pseudo)
Date: Thu, 08 Aug 2013 19:52:35 -0400

Hi Bernhard,

On 2013-08-07 07:48, Bernhard Voelker wrote:
> On 08/07/2013 10:42 AM, Bernhard Voelker wrote:
>> On 08/07/2013 06:41 AM, Filipus Klutiero wrote:
>> Thanks for the report.  I'll push the following patch soon.
> Hi Filipus,
>
> I pushed it in your name:
>
>    http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=5d93df1b
>
> Thanks again!
>
>
Thanks to you!

-- 
Filipus Klutiero
http://www.philippecloutier.com

Previous Next

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