Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
RE: Some problems with menu list.
- X-seq: zsh-workers 12637
- From: "Andrej Borsenkow" <Andrej.Borsenkow@xxxxxxxxxxxxxx>
- To: "Sven Wischnowsky" <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>, <zsh-workers@xxxxxxxxxxxxxx>
- Subject: RE: Some problems with menu list.
- Date: Tue, 15 Aug 2000 12:35:13 +0400
- Importance: Normal
- In-reply-to: <200008150757.JAA05041@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
>
> Question to everyone: should we remove processes-list, i.e. the second
> call to ps? The problem is: how do we replace it. I think it would be
> nice if _pids would look at the first line of the output of ps to see
> which column gives the pids. If it can't find that out, it uses the
> first numeric column (easier to implement: the first number in each
> line). For special cases, users should be able to set a style to tell
> _pids which column to use.
>
> Would that be ok for everyone?
>
Yes. Looking at header should be quite robust. Position of pid varies from
system to system, but, hopefully, it is always called PID :-) This would make
_pids usable out of the box on almost every system.
-andrej
Messages sorted by:
Reverse Date,
Date,
Thread,
Author