Re: suggestion: alias manpages.debian.org to man.debian.org
Hi,
On Mon, Sep 15, 2025 at 11:56:46PM +0200, dzwdz wrote:
> I frequently open up manpages in my web browser by directly typing in the
> URL, as in "man.openbsd.org/sh" or "manpages.debian.org/tor". Aliasing
> manpages. to man. would make this a few keystrokes shorter (and we'd beat
> OpenBSD by one character ;p)
>
Not really what you're asking about; but this reminds me of the dman(1) tool
as shipped with the debian-goodies package. You might like it.
HTH, Bye,
Joost
Reply to: