Re: online manual pages

Oskari Pirhonen
2023-03-16T06:08:04Z

[-- Attachment #1: Type: text/plain, Size: 1389 bytes --]

Hi,

On Sun, Feb 12, 2023 at 22:37:22 +0100, Alejandro Colomar wrote:
> Hi Elliott,
>
> I've pushed the new PDF book of the Linux man-pages (Deri produced the scripts to produce it) to kernel.org with the 6.03 release of the Linux man-pages. Since you mentioned that you needed Michael to maintain the pages in man7, and we don't seem to be able to contact him to do so, maybe this is good enough for you for now. Please have a look at <https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/book/man-pages-6.03.pdf> and see if it serves your purpose. Maybe you can suggest some improvements.
>
> You can already link to specific pages (and specific sections within pages) within that online PDF.
>
> So far, I don't plan to add an HTML website of the pages, but if groff(1) improves in the future, I might add HTML manual pages in the kernel website.
>

DDG has these nifty things called "bangs" [1] which let you search sites
directly if they have a search feature, although some just use a "site:"
Google dork in the DDG search itself. One of the most common ones I use
is "!man7" to pull up man pages on the web.

It would be nice to have some kind of new official Linux man page
website (at some point) if Michael doesn't have time to keep man7.org up
to date so that a new bang could be suggested to DDG.

- Oskari

[1]: https://duckduckgo.com/bangs

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 228 bytes --]