so we do have to provide all these man pages and manage them with
alternatives among all the shells?
sounds like a mess to maintain.
Colin Watson writes:
> Here's a list of man pages and the names that don't appear anywhere in the
> filesystem:
>
> usr/share/man/man1/builtins.1.gz: .
>
On Mon, Jun 04, 2001 at 11:28:02AM +0200, Matthias Klose wrote:
> so we do have to provide all these man pages and manage them with
> alternatives among all the shells?
IMHO builtins should live in the shell's manpage, rather than having their
own entry. Otherwise you'll get into difficult situat
On Mon, 04 Jun 2001 at 11:28:02 +0200, Matthias Klose wrote:
> so we do have to provide all these man pages and manage them with
> alternatives among all the shells?
>
> sounds like a mess to maintain.
I agree with Herbert that the current situation is very confusing: as it
stands, you can be run
3 matches
Mail list logo
