From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17380 invoked from network); 6 Sep 1999 09:01:23 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 6 Sep 1999 09:01:23 -0000 Received: (qmail 22760 invoked by alias); 6 Sep 1999 09:01:14 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 7651 Received: (qmail 22753 invoked from network); 6 Sep 1999 09:01:13 -0000 Message-Id: <199909060901.LAA345506@hydra.ifh.de> X-Authentication-Warning: hydra.ifh.de: pws owned process doing -bs To: zsh-workers@sunsite.auc.dk (Zsh hackers list) Subject: Re: Miscellaneous buglettes In-reply-to: "Adam Spiers"'s message of "Sun, 05 Sep 1999 22:45:40 MET DST." <19990905224540.A7557@thelonious.new.ox.ac.uk> Date: Mon, 06 Sep 1999 11:01:11 +0200 From: Peter Stephenson Adam Spiers wrote: > - HIST_FIND_NO_DUPS option not documented (or NEWS is wrong, one of > the two) It does seem to work, the patch is below, if I've worked out what it does properly. > - Minor bugs in the info pages (fixed by patch below). For future > reference, is it necessary to include patches to zsh.texi when > patch *.yo? Somebody seems to have got to these already, as far as I can see. Only the yodl files need patching, the .texi file is generated from that. --- Doc/Zsh/options.yo.hist Mon Sep 6 09:52:52 1999 +++ Doc/Zsh/options.yo Mon Sep 6 10:20:56 1999 @@ -452,6 +452,13 @@ events, otherwise this option will behave just like tt(HIST_IGNORE_ALL_DUPS) once the history fills up with unique events. ) +pindex(HIST_FIND_NO_DUPS) +cindex(history, ignoring duplicates in search) +item(tt(HIST_FIND_NO_DUPS))( +When searching for history entries in the line editor, do not display +duplicates of a line previously found, even if the duplicates are not +contiguous. +) pindex(HIST_IGNORE_ALL_DUPS) cindex(history, ignoring all duplicates) item(tt(HIST_IGNORE_ALL_DUPS))( -- Peter Stephenson Tel: +39 050 844536 WWW: http://www.ifh.de/~pws/ Dipartimento di Fisica, Via Buonarroti 2, 56100 Pisa, Italy