Gentoo Archives: gentoo-dev

From: Karl Trygve Kalleberg <karltk@×××××××.no>
To: gentoo-dev@g.o
Subject: Re: [gentoo-dev] man/zsh problems? bug? dircolors is incompatible
Date: Thu, 10 Jan 2002 05:32:00
Message-Id: 20020110111608.GA610@prosalg.no
In Reply to: [gentoo-dev] man/zsh problems? bug? dircolors is incompatible by Mark
1 On Wed, Jan 09, 2002 at 01:59:43AM -0500, Mark wrote:
2 > Zsh is really a nice shell. But it's not very well supported in Gentoo.
3 >
4 > 1. The "man" command doesn't seem to work under Zsh.
5
6 It is known. Silly me forgot to fix it properly.
7
8 > Is anyone else using/trying Zsh? How's it going?
9 > Have I just done something wrong? ....
10 > If not, the man issue should definately be a bug.
11
12 It is. I have tried to work out the Correct workaround,
13 but with no luck. The Not-So-Correct workaround is to
14 not gzip the zsh man pages.
15
16 If nobody else fixes this before Saturday, I'll have a
17 look at it then.
18
19 Karl T

Replies

Subject Author
Re: [gentoo-dev] man/zsh problems? bug? dircolors is incompatible Mark <markb1@×××××××××.ca>