[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
`history-delete-duplicates'.
-Miles
--
Occam's razor split hairs so well, I bought the whole argument!