Re: avoid duplicates in history

[Miles Bader]

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
`history-delete-duplicates'.

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