diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/coreutils.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/coreutils.texi b/doc/coreutils.texi index 81bc97f09..5139809b2 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. |