Re: Patches item #1729825 ready to go.

[Daniel J S. <dan...@ie...>]

Petr Mikulik wrote:
>>Two unresolved things.
>>
>>1) What should be the default for {full|ignoredups|condensed}?  And why?
> 
> 
> condensed -- it is the current behaviour, and it speeds us browsing and 
> mouse-copying previous commands

There's an updated patch on SourceForge.  "condensed" is default.


>>2) Can we deprecate "historysize".  (I've currently programmed "set history
>><n>" and "set historysize <n>" to be the same.)
> 
> 
> change it to 'set history size'

As Ethan pointed out, just leaving the match string "his$storysize" allows both

set historysize <n>
set history <n>

to work.  Of course, that means "set historysize {<n>} {quiet|numbered} 
{condensed|ignoredups|full}" works, but because the options are documented as 
"set history", the user will not be inclinde to type "set historysize ignoredups".

BTW, I didn't use the phrase "erasedups" (i.e., "condensed") because we aren't 
technically erasing anything.

Dan