Re: grof --run

Hi Colin and Ingo, At 2025-05-05T11:50:10+0100, Colin Watson wrote: > 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

Re: grof --run

Hello, Colin Watson wrote on Mon, May 05, 2025 at 11:50:10AM +0100: > 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 acquir

Re: grof --run

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

Re: grof --run

Hi Branden, On Fri, May 02, 2025 at 07:49:17PM -0500, G. Branden Robinson wrote: > At 2025-05-02T16:59:58+0200, Alejandro Colomar wrote: > > On Fri, May 02, 2025 at 09:19:48AM -0500, G. Branden Robinson wrote: > > > Your grog executable may be out of sync with the man page you're > > > reading. >

Re: grof --run

Hi Alex, At 2025-05-02T16:59:58+0200, Alejandro Colomar wrote: > On Fri, May 02, 2025 at 09:19:48AM -0500, G. Branden Robinson wrote: > > Your grog executable may be out of sync with the man page you're > > reading. > > > > Compare `type grog` with `man -w grog`. > > H. > > alx@devuan:~$ wh

Re: grof --run

Hi Branden, On Fri, May 02, 2025 at 09:19:48AM -0500, G. Branden Robinson wrote: > Hi Alex, > > At 2025-05-02T14:26:23+0200, Alejandro Colomar wrote: > > On Fri, May 02, 2025 at 07:01:39AM -0500, G. Branden Robinson wrote: > > > [2] $ type mailman > > > mailman is a function > > > mailman () > >

Re: grof --run

Hi Alex, At 2025-05-02T14:26:23+0200, Alejandro Colomar wrote: > On Fri, May 02, 2025 at 07:01:39AM -0500, G. Branden Robinson wrote: > > [2] $ type mailman > > mailman is a function > > mailman () > > { > > local cmd=; > > case "$1" in > > -*) > > opts="$opts $1"; > >

grof --run

Hi Branden, On Fri, May 02, 2025 at 07:01:39AM -0500, G. Branden Robinson wrote: > [2] $ type mailman > mailman is a function > mailman () > { > local cmd=; > case "$1" in > -*) > opts="$opts $1"; > shift > ;; > esac; > set -- $(man -w "$@");