From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18967 invoked from network); 8 May 1999 23:57:07 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 8 May 1999 23:57:07 -0000 Received: (qmail 8648 invoked by alias); 8 May 1999 23:56:55 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 6242 Received: (qmail 8641 invoked from network); 8 May 1999 23:56:54 -0000 From: Wayne Davison Message-Id: <199905082356.QAA08889@bebop.clari.net> To: Peter Stephenson Cc: zsh-workers@sunsite.auc.dk (Zsh hackers list) Subject: Re: PATCH: zsh-3.1.5-pws-17: history options again In-reply-to: pws's message of Sat, 08 May 1999 16:42:09 +0200. <9905081442.AA46637@ibmth.df.unipi.it> Date: Sat, 08 May 1999 16:56:50 -0700 Sender: wayne@clari.net 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..