zsh-workers
 help / color / mirror / code / Atom feed
From: Bart Schaefer <schaefer@brasslantern.com>
To: zsh-workers@zsh.org
Subject: Re: Bug#749969: history no longer syncs immediately, INC_APPEND_HISTORY broken
Date: Wed, 04 Jun 2014 07:50:54 -0700	[thread overview]
Message-ID: <140604075054.ZM30348@torch.brasslantern.com> (raw)
In-Reply-To: <20140604075755.GA5352@localhost.localdomain>

On Jun 4,  3:57pm, Han Pingtian wrote:
} Subject: Re: Bug#749969: history no longer syncs immediately, INC_APPEND_H
}
} I have just a quick idea for it :)
} 
} How about in this case, write the command into history first in the
} hend(), then rewrite the history in hbegin() after the commnad finished?

This would work only if we were guaranteed that no other zsh session
had manipulated the history file in the meantime.  Given that the only
reason to care how soon the command is written is because there *is*
another zsh session manipulating the file, this approach unfortunately
is probably not practical.

It'd be more practical if history was maintained as an actual database,
and maybe nobody cares any more that the history be readable as text or by
other shells ... but that's a pretty large change.


  reply	other threads:[~2014-06-04 14:50 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20140531074936.GA9011@valiant.palfrader.org>
2014-05-31  9:21 ` Frank Terbeck
2014-05-31 19:22   ` Peter Stephenson
2014-06-03 19:56     ` Peter Stephenson
2014-06-04  7:57       ` Han Pingtian
2014-06-04 14:50         ` Bart Schaefer [this message]
2014-06-04 16:13       ` Bart Schaefer
2014-06-01  6:05   ` Wayne Davison

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=140604075054.ZM30348@torch.brasslantern.com \
    --to=schaefer@brasslantern.com \
    --cc=zsh-workers@zsh.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).