Re: Patches item #1729825 ready to go.

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

Petr Mikulik wrote:

> I think you can let it as is; optionally there could be useful
> 	set history full|ignoredups|condensed

OK.  I'll see if there might be an easier way than the unwinding of the number 
inside history.c.  That was simply too convoluted to follow.


> It'd be better to edit $HOME/.gnuplot_history

I too thought that would be a preferable route.

Dan