Re: Touchup of history.c

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

Petr Mikulik wrote:
>> The value <int> indicates the value of history size when leaving gnuplot.  It
>> is used for truncating the history to at most that many lines.  The default
>> is 666.
>>
>>[snip]
>>
>> `unset history` will set history operation to its default settings: no
>> history
>> truncation at exit and thus allow indefinite number of lines, `condensed`,
>> and
>> `numbered`.
>>
>>In one case the default is 666 in the other it is indefinite.  There is no
>>"set history inf" or anything like that.
> 
> 
> 9999 could be enough... Anyway, you cannot store infinite number of commands 
> on a PC with a finite hard disk.

I'm wondering what number could represent the principle of "indefinite".  We 
wouldn't want a syntax "set history -1"... but good point, the user could just 
type in a huge number.  It's just slightly odd that there does exist such a 
setting but the way to get to it is to "unset history".

Dan