Re: avoid duplicates in history

[Dan Nicolaescu]

Miles Bader <address@hidden> writes:

  > Yes it is, it runs two words together for no reason.  Just use
  > `history-delete-duplicates'.

How about the default? Should this be turned on by default? 

I even got some suggestions that deleting duplicates should be the
only way to do it. 

(It would be nice to have a decision about this, so I can write the
final docs and patch). 

        --dan