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

Re: PATCH: zsh-3.1.5-pws-17: history options again

X-seq: zsh-workers 6242
From: Wayne Davison <wayne@xxxxxxxxx>
To: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
Subject: Re: PATCH: zsh-3.1.5-pws-17: history options again
Date: Sat, 08 May 1999 16:56:50 -0700
Cc: zsh-workers@xxxxxxxxxxxxxx (Zsh hackers list)
In-reply-to: pws's message of Sat, 08 May 1999 16:42:09 +0200. <9905081442.AA46637@xxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
Sender: wayne@xxxxxxxxx

Peter Stephenson writes:
> It's a shame the options weren't all standardised as having `hist'
> rather than `history', but it's far too late to worry about that.
> How about `incappendhistory'?

We could change the new ones I added to all start with hist, if we
wanted to.  For instance, `hist_sharing' instead of `shared_history'.

And how about `hist_append_each' for the `incremental_append_history'
option?  Alternately, I still think it would be OK for us to just
lose the incremental append option and have it be the new way that
`append_history' works.

..wayne..

References:
- PATCH: zsh-3.1.5-pws-17: history options again
  - From: Peter Stephenson

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