[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Accessibility of man pages
From: |
Ingo Schwarze |
Subject: |
Re: Accessibility of man pages |
Date: |
Sun, 9 Apr 2023 00:39:22 +0200 |
Hi Dirk,
Dirk Gouders wrote on Sat, Apr 08, 2023 at 10:59:32PM +0200:
> Ingo Schwarze <schwarze@usta.de> writes:
>> Dirk Gouders wrote on Sat, Apr 08, 2023 at 09:48:13PM +0200:
>>> Yes, it's very slow but close to `man -K`:
>>>
>>> find... man -K...
>>>
>>> real 107.45 real 96.34
>>> user 117.06 user 70.11
>>> sys 14.43 sys 26.86
>>>
>>> [a thought later]
>>>
>>> Oh, I found something much faster:
>>>
>>> $ time -p find /usr/share/man -type f | xargs bzgrep -l RLIMIT_NOFILE
>>> [snip]
>>>
>>> real 24.30
>>> user 32.34
>>> sys 6.84
>>>
>>> Hmm, perhaps, someone has an explanation for this?
>> These are all terribly slow IMHO.
>>
>> For comparison, this happens on my OpenBSD notebook, with more than
>> five hundred optional software packages installed in addition to the
>> complete default installation:
>>
>> $ time man -k any=RLIMIT_NOFILE
>> dup, dup2, dup3(2) - duplicate an existing file descriptor
>> getrlimit, setrlimit(2) - control maximum system resource consumption
>> sudoers(5) - default sudo security policy plugin
>> 0m00.21s real 0m00.00s user 0m00.03s system
> Yes, this is really fast and would allow for quite interesting ways to
> work with manual pages.
>
> But, OpenBSD's `man -k` operates on a makewhatis(8) database and not
> on every single manual page or am I wrong?
Yes, you are completely correct about that.
The database format is documented here:
https://man.openbsd.org/mandoc.db.5
And the search syntax here:
https://man.openbsd.org/apropos.1
The concept works very well because in contrast to man(7), mdoc(7)
provides substatial semantic markup (without being harder to write
or maintain).
The comparison seemed relevant to me because as far as i understood the
intention of the thread, participants were looking for ideas to make
searching for content in manual pages more powerful and more efficient.
The combination of semantic markup and indexing of marked up content
is one way to make progress in that direction, and the combination
of mdoc(7) with mandoc(1) is an example of a system demonstrating
the concept.
I understand people familiar with GNU info(1) pointed out that
providing index entries that do not correspond to marked up
content is also occasionally useful. I do not completely disagree
with that, and the mdoc(7) language as implemented by mandoc(1)
provides a dedicated macro to do just that:
https://man.openbsd.org/mdoc.7#Tg
Then again, practical experience shows that manual tagging is needed
only in extremely rare cases and completely automatic tagging produces
completely satisfactory index entries for the vast majority of cases.
Yours,
Ingo
- Re: Accessibility of man pages (was: Playground pager lsp(1)), (continued)
- Re: Accessibility of man pages (was: Playground pager lsp(1)), Colin Watson, 2023/04/08
- Re: Accessibility of man pages (was: Playground pager lsp(1)), Alejandro Colomar, 2023/04/08
- Re: Accessibility of man pages, Dirk Gouders, 2023/04/08
- Re: Accessibility of man pages, Eli Zaretskii, 2023/04/08
- Re: Accessibility of man pages, Dirk Gouders, 2023/04/08
- Re: Accessibility of man pages, Alejandro Colomar, 2023/04/08
- Re: Accessibility of man pages, Alejandro Colomar, 2023/04/08
- Re: Accessibility of man pages, Ralph Corderoy, 2023/04/09
- Re: Accessibility of man pages, Ingo Schwarze, 2023/04/08
- Re: Accessibility of man pages, Dirk Gouders, 2023/04/08
- Re: Accessibility of man pages,
Ingo Schwarze <=
- Re: Accessibility of man pages, Dirk Gouders, 2023/04/09
- Re: Accessibility of man pages, Dirk Gouders, 2023/04/09
- Re: Accessibility of man pages (was: Playground pager lsp(1)), Alexis, 2023/04/09
- Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))), Alejandro Colomar, 2023/04/09
- Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))), Alejandro Colomar, 2023/04/09
- Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))), G. Branden Robinson, 2023/04/09
- Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))), Colin Watson, 2023/04/09
- Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))), Alejandro Colomar, 2023/04/09
- Re: Compressed man pages, Ralph Corderoy, 2023/04/09
- Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))), Sam James, 2023/04/12