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

Re: Proposed history improvements

On Thu, 10 May 2001, Bart Schaefer wrote:
> I'd much rather decide after the fact that I didn't want that command
> put into the history; for example, I'd expunge all commands involving
> typographical errors as soon as I'd had a chance to retrieve them and
> fix the error, so that correct commands are never pushed out of the
> history file by mistaken ones.

Yeah, I was thinking about that too, but I hadn't decided on a good way
to do it yet.  I'm thinking that it might be nice to have a "delete this
history line" key sequence, and perhaps a combination of that with "...
and accept this line".  Such a command would immediately remove the line
out of the internal history, and if we're incrementally updating the
history file it would have to take steps to ensure that the line was
removed from everyone else reading the history file (such as adding the
line with a flag after the timestamp, and leaving the flag-line around
long enough that we assume all shells have read in the removal
instruction -- this is kinda tricky and might not be 100% effective).

> [...] HIST_IMMEDIATE_DROP, on which I have no comment except to say I
> think it's extraneous.)

I have no strong opinion either way, except to say that I will never use
HIST_IMMEDIATE_DROP.  Anyone else care to weigh in on this?


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