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

Re: BUG: zsh-3.1.5-pws-24: time is dead

X-seq: zsh-workers 6940
From: mason@xxxxxxxxxxxxxxx (Geoff Wing)
To: zsh-workers@xxxxxxxxxxxxxx
Subject: Re: BUG: zsh-3.1.5-pws-24: time is dead
Date: 2 Jul 1999 02:05:17 GMT
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
Organization: PrimeNet Computer Consultants
References: mason@xxxxxxxxxxxxxxx's message of 30 Jun 1999 18:09:00 GMT <199907010639.IAA27678@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Reply-to: mason@xxxxxxxxxxxxxxx

Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx> typed:
:mason@xxxxxxxxxxxxxxx wrote:
:> % time =echo foobar
:> foobar
:This patch seems to work, but since I don't know why it worked before, 
:I'm not really happy with it.

I'm not happy with it either.  It works, but it looks like a hack.
Comment from zsh.h:
	#define STAT_NOPRINT    (1<<5)  /* job was killed internally,    */
	                                /*   we don't want to show that  */
Is STAT_NOPRINT being used for other purposes now?  Are we getting the wrong
status for jobs while trying to work around all these other programs which
want certain pgrp/session requirements?

PS. breakage occured between pws-22 and pws-23

Regards,
-- 
Geoff Wing : <gcw@xxxxxxxxx>     Work URL: http://www.primenet.com.au/
Rxvt Stuff : <gcw@xxxxxxxx>      Ego URL : http://pobox.com/~gcw/
Zsh Stuff  : <gcw@xxxxxxx>       Phone   : (Australia) 0413 431 874

References:
- Re: BUG: zsh-3.1.5-pws-24: time is dead
  - From: Sven Wischnowsky

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