Zsh Mailing List Archive
Messages sorted by:
Re: exit status problem
- X-seq: zsh-users 15659
- From: Peter Stephenson <Peter.Stephenson@xxxxxxx>
- To: <zsh-users@xxxxxxx>
- Subject: Re: exit status problem
- Date: Mon, 20 Dec 2010 14:59:18 +0000
- In-reply-to: <20101220113433.GA15894@xxxxxxxxxxxxxxxxxxx>
- List-help: <mailto:firstname.lastname@example.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:email@example.com>
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
- Organization: Cambridge Silicon Radio
- References: <20101203152438.GL1727@xxxxxxxxxxxxxxxxxxx> <20101220113433.GA15894@xxxxxxxxxxxxxxxxxxx>
On Mon, 20 Dec 2010 12:34:33 +0100
Vincent Lefevre <vincent@xxxxxxxxxx> wrote:
> zsh 4.3.10-test-3 still has this problem, which can be summarized
> 1. Execute "zsh -f".
> 2. Type RPS1="%*" and [Enter] (to have the time in the prompt).
> 3. Resize the window.
> -> If the width has changed, the right part of the prompt is
> redisplayed at the correct place, but in any case, the time
> displayed in the prompt is not updated, even though zsh has
> updated it internally. This can be seen with:
> 4. Type [Enter].
> -> The time in the current prompt is updated to the time when the
> window has been resized. This shows that the time in the prompt
> was updated internally, but the effect couldn't be seen on the
> A new prompt is also output as expected.
Hmmm.... I've done exactly that and the time *is* updated at 3.
Obviously that doesn't mean there isn't a problem somewhere, but I'm
going to assume this will rumble on beyond 4.3.11.
Could be terminal specific in some way, but I got this both with urxvt
and xterm. More likely system-specific and an fflush() is still
Peter Stephenson <pws@xxxxxxx> Software Engineer
Tel: +44 (0)1223 692070 Cambridge Silicon Radio Limited
Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, UK
Member of the CSR plc group of companies. CSR plc registered in England and Wales, registered number 4187346, registered office Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
Messages sorted by: