Debian Bug report logs - #735590
manpages: filesystems(5) should describe the nodev prefix in /proc/filesystems

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Axel Beckert <abe@debian.org>

To: Debian Bug Tracking System <submit@bugs.debian.org>

Subject: manpages: filesystems(5) should describe the nodev prefix in /proc/filesystems

Date: Thu, 16 Jan 2014 18:53:40 +0100

Package: manpages
Version: 3.55-1

filesystems(5) says:

       When, as is customary, the proc filesystem is mounted on /proc,
       you can find in the file /proc/filesystems which filesystems your
       kernel currently supports.  If you need a currently unsupported
       one, insert the corresponding module or recompile the kernel.

My /proc/filesystems looks like this:

$ cat /proc/filesystems
nodev   sysfs
nodev   rootfs
nodev   ramfs
nodev   bdev
nodev   proc
nodev   cgroup
nodev   cpuset
nodev   tmpfs
nodev   devtmpfs
nodev   debugfs
nodev   securityfs
nodev   sockfs
nodev   pipefs
nodev   anon_inodefs
nodev   devpts
nodev   hugetlbfs
nodev   pstore
nodev   mqueue
        btrfs
        ext3
        ext2
        ext4
        fuseblk
nodev   fuse
nodev   fusectl
nodev   binfmt_misc
nodev   aufs
$

filesystems(5) should mention the "nodev" prefix (and maybe other
potential prefixes) and describe its/their meaning..

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (990, 'unstable'), (600, 'testing'), (400, 'stable'), (110, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.12-trunk-amd64 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

manpages depends on no packages.

manpages recommends no packages.

Versions of packages manpages suggests:
ii  man-db [man-browser]  2.6.5-3

-- no debconf information

Message #10 received at submit@bugs.debian.org (full text, mbox, reply):

From: "Michael Kerrisk (man-pages)" <mtk.manpages@gmail.com>

To: Axel Beckert <abe@debian.org>, 735590@bugs.debian.org

Cc: Debian Bug Tracking System <submit@bugs.debian.org>

Subject: Re: Bug#735590: manpages: filesystems(5) should describe the nodev prefix in /proc/filesystems

Date: Fri, 17 Jan 2014 23:29:14 +1300

Axel,

On Fri, Jan 17, 2014 at 6:53 AM, Axel Beckert <abe@debian.org> wrote:
> Package: manpages
> Version: 3.55-1
>
> filesystems(5) says:
>
>        When, as is customary, the proc filesystem is mounted on /proc,
>        you can find in the file /proc/filesystems which filesystems your
>        kernel currently supports.  If you need a currently unsupported
>        one, insert the corresponding module or recompile the kernel.
>
> My /proc/filesystems looks like this:
>
> $ cat /proc/filesystems
> nodev   sysfs
> nodev   rootfs
> nodev   ramfs
> nodev   bdev
> nodev   proc
> nodev   cgroup
> nodev   cpuset
> nodev   tmpfs
> nodev   devtmpfs
> nodev   debugfs
> nodev   securityfs
> nodev   sockfs
> nodev   pipefs
> nodev   anon_inodefs
> nodev   devpts
> nodev   hugetlbfs
> nodev   pstore
> nodev   mqueue
>         btrfs
>         ext3
>         ext2
>         ext4
>         fuseblk
> nodev   fuse
> nodev   fusectl
> nodev   binfmt_misc
> nodev   aufs
> $
>
> filesystems(5) should mention the "nodev" prefix (and maybe other
> potential prefixes) and describe its/their meaning..

One thing that would have helped here is if you could have supplied
some text explaining what "nodev" is. (Or, if you don't know, then it
would help to explicitly note that in the bug.)

I believe the appropriate text would be something like

[[
If the work "nodev" appears before a filesystem name, then that
filesystem does not require a corresponding device in order to be
mounted (i.e., it is a pseudo-filesystem).
]]

Look okay to you?

Cheers,

Michael

-- 
Michael Kerrisk
Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/
Linux/UNIX System Programming Training: http://man7.org/training/

Message #20 received at 735590@bugs.debian.org (full text, mbox, reply):

From: Axel Beckert <abe@debian.org>

To: "Michael Kerrisk (man-pages)" <mtk.manpages@gmail.com>

Cc: 735590@bugs.debian.org

Subject: Re: Bug#735590: manpages: filesystems(5) should describe the nodev prefix in /proc/filesystems

Date: Fri, 17 Jan 2014 12:08:21 +0100

Hi Michael,

Michael Kerrisk (man-pages) wrote:
> One thing that would have helped here is if you could have supplied
> some text explaining what "nodev" is.

I had some idea, but was unsure and looked into the man-page to read
more about it.

> (Or, if you don't know, then it would help to explicitly note that
> in the bug.)

I didn't expect that this needs explicit mentioning.

> [[
> If the work "nodev" appears before a filesystem name, then that
> filesystem does not require a corresponding device in order to be
> mounted (i.e., it is a pseudo-filesystem).
> ]]
> 
> Look okay to you?

Doesn't clash with what I guessed, but since I was looking for facts,
I can't say if it's correct or wrong.

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe@debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE
  `-    |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5

Message #25 received at 735590@bugs.debian.org (full text, mbox, reply):

From: "Michael Kerrisk (man-pages)" <mtk.manpages@gmail.com>

To: Axel Beckert <abe@debian.org>

Cc: 735590@bugs.debian.org, control@bugs.debian.org

Subject: Re: Bug#735590: manpages: filesystems(5) should describe the nodev prefix in /proc/filesystems

Date: Sat, 18 Jan 2014 05:45:55 +1300

tags 735590 fixed-upstream
thanks

Hi Axel,

On Sat, Jan 18, 2014 at 12:08 AM, Axel Beckert <abe@debian.org> wrote:
> Hi Michael,
>
> Michael Kerrisk (man-pages) wrote:
>> One thing that would have helped here is if you could have supplied
>> some text explaining what "nodev" is.
>
> I had some idea, but was unsure and looked into the man-page to read
> more about it.
>
>> (Or, if you don't know, then it would help to explicitly note that
>> in the bug.)
>
> I didn't expect that this needs explicit mentioning.

The thing is, I sometimes get bug reports from people who *do* know
the details, but they initially neither tell me them nor indicate that
they know them--perhaps because they think the point is obvious enough
that I don't need to be told. So, it saves me a few cycles if people
tell me what they do or don't know; then I know what I can or can't
ask them. ;-) See what I mean?

>> [[
>> If the work "nodev" appears before a filesystem name, then that
>> filesystem does not require a corresponding device in order to be
>> mounted (i.e., it is a pseudo-filesystem).
>> ]]
>>
>> Look okay to you?
>
> Doesn't clash with what I guessed, but since I was looking for facts,
> I can't say if it's correct or wrong.

I just now noticed that "nodev" is documented in /proc/filesystems

[[
If a filesystem is marked with "nodev",
this means that it does not require a block device to be mounted
(e.g., virtual filesystem, network filesystem)
]]

So what's needed is a pointer from filesystems(5) to proc(5). I'll add that.

Thanks for the report.

Cheers,

Michael

Message #32 received at 735590-close@bugs.debian.org (full text, mbox, reply):

From: Simon Paillard <spaillard@debian.org>

To: 735590-close@bugs.debian.org

Subject: Bug#735590: fixed in manpages 3.57-1

Date: Mon, 03 Feb 2014 21:50:24 +0000

Source: manpages
Source-Version: 3.57-1

We believe that the bug you reported is fixed in the latest version of
manpages, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 735590@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Simon Paillard <spaillard@debian.org> (supplier of updated manpages package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Feb 2014 22:04:08 +0100
Source: manpages
Binary: manpages manpages-dev
Architecture: source all
Version: 3.57-1
Distribution: unstable
Urgency: medium
Maintainer: Martin Schulze <joey@debian.org>
Changed-By: Simon Paillard <spaillard@debian.org>
Description: 
 manpages   - Manual pages about using a GNU/Linux system
 manpages-dev - Manual pages about using GNU/Linux for development
Closes: 574370 638186 735590
Changes: 
 manpages (3.57-1) unstable; urgency=medium
 .
   * Imported Upstream version 3.57
     . select.2: RETURN VALUE: Fix discussion of treatment of file descriptor
       (Closes: #574370)
     . environ.7: Correct reference to locale(7) (not locale(5))
       (Closes: #638186)
     . filesystems.5: Add reference to proc(5) for more details on
       /proc/filesystems (Closes: #735590)
   * debian/control: Bump Standards-Version to 3.9.5
Checksums-Sha1: 
 62c6a1a03c99e9c007bb07b71ab3907e6e2bfeb4 1916 manpages_3.57-1.dsc
 e83f68f77dcc14d2c060fc6ef66c5f65ca78fb65 1195700 manpages_3.57.orig.tar.xz
 df463ab150efedf86a70ea8bb6ec8e3ae14cbc99 42408 manpages_3.57-1.debian.tar.xz
 d88ce40a0f0cff3819491c62f3d5ee3608e71d52 879012 manpages_3.57-1_all.deb
 4f49aec85b9e41b6b0ec645c34e16de8ffdbefaa 1805336 manpages-dev_3.57-1_all.deb
Checksums-Sha256: 
 81af875912bad5b88447713b49292f944a1602de1c4041be675f81d54a64e141 1916 manpages_3.57-1.dsc
 910ba04a792fe5769957d91701066e57ce6e9ff7f2ea6479ff3f2cde147706e5 1195700 manpages_3.57.orig.tar.xz
 f051ab71af2368723d49a9a83472f8ea6ced2bef9d59968ea38976d57ac70dc2 42408 manpages_3.57-1.debian.tar.xz
 973afd65d6336a9df34500d1158cb615e9e19da2c67d31afe59bb889223d1a39 879012 manpages_3.57-1_all.deb
 21f0a4232487fc1f2666e00d153c1c2fcae8bb828e19b620cb55d7e10141f35f 1805336 manpages-dev_3.57-1_all.deb
Files: 
 523fdb7d855a8b4b092364d952bf0be2 1916 doc important manpages_3.57-1.dsc
 18bba89745fecdfddad3caaef7cde5f4 1195700 doc important manpages_3.57.orig.tar.xz
 0f1cbd6c95bda4a6111da2018af7f8cf 42408 doc important manpages_3.57-1.debian.tar.xz
 661f9a97ab19190dd238470185bd1a4a 879012 doc important manpages_3.57-1_all.deb
 d0d08b16e602ac722556ff37cea94991 1805336 doc optional manpages-dev_3.57-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJS8AevAAoJEN/3OMLRbPuiGJYP/3WGMg59nXhDcd4OTtT0utOb
ppwhPHC5qcuW2gJl7rrmMvHbJlxE9qCG5jHpqETjz7m1cBRnMitOifTJGY0limEC
NYxz+x6G0w1cCsvBeSDnmeB2Cr2X3Q0uiI6dcFseaz4oRk43D3J79GsyaeoBera+
jjpXiRetagD0bhnHmf0W3ADSzH50+4EIuTgpO9M7NN2SWo1MyvImPgbYadNYAU/d
jU3GlEJWuJroJZpAg+15PUNEzBhlf+5sSdlPo/m0arVrd0w/NRSpaxgtawF8fSl0
nqpEUE3STpvONuClyYeSu8z+F+CTVyVk9UWpfAAkRSXU+ltQvSNje1ZqVQGv3AUJ
or4/9IztgXoX+jKlLyQr/dAYxyxEgkmXBQql9K5irE5spXCdtissDY4msRT+FBys
qxFxVCKVL5vPYCNpPP/moIX5Mn2jsLtqpjuZffdkGwyQhctGinqQIJ0Cx/OCdCBc
cs9mK09zRlCTCU2tri3AJ9FHnzbFcNRfAiT/5V3BEZBFp/D2Q+GD7ovFN+0GSCxt
mH+rSlb4qJHoRuHivlDIEtMamvkT+i1FoByjqRWcCHntl02hDGQ/HfJChsYJ6Zrn
9JzCz0I863mnliXhG0yepLbmxd6q972P64QhCl8osiVv55qmBiyCWD1DtnbcaPDg
s+ZaH0YRdVNyKqIWnvEf
=BzYG
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.