From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 117609 invoked by alias); 4 Jun 2015 19:25:20 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 117596 invoked by uid 89); 4 Jun 2015 19:25:20 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.5 required=5.0 tests=AWL,BAYES_40,RCVD_IN_DNSWL_NONE,SPF_SOFTFAIL autolearn=no version=3.3.2 X-HELO: mtaout26.012.net.il Received: from mtaout26.012.net.il (HELO mtaout26.012.net.il) (80.179.55.182) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 04 Jun 2015 19:25:18 +0000 Received: from conversion-daemon.mtaout26.012.net.il by mtaout26.012.net.il (HyperSendmail v2007.08) id <0NPF00300PUPUC00@mtaout26.012.net.il> for gdb-patches@sourceware.org; Thu, 04 Jun 2015 22:27:17 +0300 (IDT) Received: from HOME-C4E4A596F7 ([87.69.4.28]) by mtaout26.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0NPF003TYQ1HAD10@mtaout26.012.net.il>; Thu, 04 Jun 2015 22:27:17 +0300 (IDT) Date: Thu, 04 Jun 2015 19:25:00 -0000 From: Eli Zaretskii Subject: Re: [PATCH] Add option to remove duplicate command history entries In-reply-to: To: Patrick Palka Cc: gdb-patches@sourceware.org Reply-to: Eli Zaretskii Message-id: <83sia7p97u.fsf@gnu.org> References: <1433434918-30948-1-git-send-email-patrick@parcs.ath.cx> <83y4jzpgj6.fsf@gnu.org> X-IsSubscribed: yes X-SW-Source: 2015-06/txt/msg00075.txt.bz2 > From: Patrick Palka > Date: Thu, 4 Jun 2015 14:53:40 -0400 > Cc: "gdb-patches@sourceware.org" > > >> +@cindex remove duplicate history > >> +@kindex set history remove-duplicates > >> +@item set history remove-duplicates > >> +@itemx set history remove-duplicates on > >> +Remove duplicate history entries added during the current session. Before a > > > > Given the description below, this summary is slightly misleading, > > IMO. Why not simply > > > > Keep in history of CLI commands only one copy of each command. > > How about I rewrite this section into: > > Keep in the command history list only one copy of each command. If a new > command being added to the history list is a duplicate of an older one, the > older entry is removed from the list. Only history entries added during the > current session are considered for removal. This option is off by default. Perfect, thanks.