Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: [4.0.2 bug] commands not written to history
- X-seq: zsh-users 4036
- From: "Bart Schaefer" <schaefer@xxxxxxxxxxxxxxxxxxxxxxx>
- To: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
- Subject: Re: [4.0.2 bug] commands not written to history
- Date: Fri, 13 Jul 2001 18:07:50 +0000
- Cc: Vincent Lefevre <vincent@xxxxxxxxxx>, <zsh-users@xxxxxxxxxx>
- In-reply-to: <Pine.LNX.4.33L2.0107121352500.13455-100000@xxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
- References: <Pine.LNX.4.33L2.0107121352500.13455-100000@xxxxxxxxxxxxxxx>
On Jul 12, 1:58pm, Wayne Davison wrote:
}
} On Thu, 12 Jul 2001, Bart Schaefer wrote:
} > And I hadn't realized that INC_APPEND_HISTORY
} > causes the elapsed-time to be lost from the entries
}
} Yeah. My original patch wrote the commands out when they finished, but
} some folks were expecting the command to be present before it completed
} (when sharing the history among multiple shells), so I changed it.
It could write them beforehand with SHARE_HISTORY and afterwards with
only INC_APPEND_HISTORY. But then the entries would be orded by the
end time rather than the start time in the latter case (not that it
should make any difference operationally).
Anyway, we still haven't managed to address Vincent's original complaint.
--
Bart Schaefer Brass Lantern Enterprises
http://www.well.com/user/barts http://www.brasslantern.com
Zsh: http://www.zsh.org | PHPerl Project: http://phperl.sourceforge.net
Messages sorted by:
Reverse Date,
Date,
Thread,
Author