Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

RE: [zsh-3.1.6] patch for zsh.texi

X-seq: zsh-workers 7435
From: "Andrej Borsenkow" <Andrej.Borsenkow@xxxxxxxxxxxxxx>
To: "SAKAI Kiyotaka" <ksakai@xxxxxxxxxxxxxxxxxxxxxx>, <zsh-workers@xxxxxxxxxxxxxx>
Subject: RE: [zsh-3.1.6] patch for zsh.texi
Date: Sat, 14 Aug 1999 14:45:17 +0400
Importance: Normal
In-reply-to: <19990811164248J.ksakai@xxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

>
> I think zsh is not a utility but a shell (like bash), so dircategory
> should be changed as follows.
>

I copied that from bash.info of bash-2.03, and there it was put in Utilities.
May be, in some Linux distribution it is put in Shell.

Not that I personally much care. The only problem is, that if we change it now,
we will have remnant in Utilities section. Is it worth changing at all?


/andrej

References:
- [zsh-3.1.6] patch for zsh.texi
  - From: SAKAI Kiyotaka

Messages sorted by: Reverse Date, Date, Thread, Author