FS#37696 - man 7 hier out of date
Attached to Project:
Arch Linux
Opened by T. Jameson Little (beatgammit) - Friday, 08 November 2013, 17:17 GMT
Last edited by Gerardo Exequiel Pozzi (djgera) - Thursday, 06 February 2014, 23:25 GMT
Opened by T. Jameson Little (beatgammit) - Friday, 08 November 2013, 17:17 GMT
Last edited by Gerardo Exequiel Pozzi (djgera) - Thursday, 06 February 2014, 23:25 GMT
|
Details
Description:
`man 7 hier` is missing the following directories that currently exist on my system: * /run * /sys Also, some of the information is wrong or misleading since the /usr move. I consider this a bug since there's no indication that external devices loaded at runtime are mounted to /run/media/<user>/ instead of /media. Additional info: man page reports it was last updated 2012-08-05, which was before the big /usr move IIRC. |
This task depends upon
Closed by Gerardo Exequiel Pozzi (djgera)
Thursday, 06 February 2014, 23:25 GMT
Reason for closing: Upstream
Thursday, 06 February 2014, 23:25 GMT
Reason for closing: Upstream
$ pacman -Qo $(man -w 7 hier)
/usr/share/man/man7/hier.7.gz is owned by man-pages 3.54-1
I still consider this a bug in Arch since it's inaccurate for Arch's filesystem package. Perhaps it should be patched?
"A typical Linux system has, among others, the following directories".
"This list is not exhaustive; different systems may be configured differently."
> Perhaps it should be patched?
That's not how we roll, here. If you want things changed, start with upstream.
>That's not how we roll, here. If you want things changed, start with upstream.
I understand that, but I thought Arch-specific changes were acceptable. I doubt upstream will care since it's not (yet) part of the FHS (though due for 3.0).
Maybe I'll try my luck upstream if this is something that isn't important enough to deserve a patch. After all, not many people actually read `man 7 hier`...