[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: avoid duplicates in history

From: Miles Bader
Subject: Re: avoid duplicates in history
Date: Fri, 04 Jun 2004 12:20:12 +0900

Juri Linkov <address@hidden> writes:

> Dan Nicolaescu <address@hidden> writes:
>> Feedback would be appreciated. 
> I think this is a useful feature.
>> Is the history-erasedups name ok? 
> There are similar variables `comint-input-ignoredups' and
> `eshell-hist-ignoredups', so it could be rather named as
> `history-ignoredups'.
> OTOH, by functionality it is very like `delete-dups' so the name
> `history-deletedups' is no worse.

Yes it is, it runs two words together for no reason.  Just use

Occam's razor split hairs so well, I bought the whole argument!

reply via email to

[Prev in Thread] Current Thread [Next in Thread]