Re: grof --run
From: Colin Watson <hidden>
Date: 2025-05-05 10:50:20
On Fri, May 02, 2025 at 07:49:17PM -0500, G. Branden Robinson wrote:
In my shell startup files, I make sure to update $MANPATH any time I update $PATH. This is not a common piece of cargo that Unix newcomers acquire; historically, I suppose a lot of man(1) implementations didn't support $MANPATH, but man-db has for decades, and I see mandoc(1) does too.
FWIW, with man-db, it's usually best for most people not to set MANPATH at all unless manual pages are somewhere that can't be straightforwardly derived from PATH. man-db will normally work it out based on PATH, and that way it's harder for them to get out of sync. -- Colin Watson (he/him) [cjwatson@debian.org]