Re: no duplicated lines for GNU readline history

[Peter W. <pe...@we...>]

Petr Mikulik wrote:
>> the change required is really simple (I think), see the small patch below.
>> However, this might confuse some people who are used to different
>> behavior in their normal command line shell. Is there a way to let the
>> user choose the behavior in gnuplot?
> 
> I would let only the new behaviour, as gnuplot history.
> 
>> --- src/command.c.orig  2006-05-31 19:05:57.000000000 +0200
>> +++ src/command.c       2006-05-31 19:05:46.000000000 +0200
>> @@ -2380,16 +2380,12 @@
> 
> Thanks ... but for some reason, it gets rejected (tabs vs spaces?)

Yeah, that's why tabs are bad... :-)

> The patch needs one more improvement: if the "line" is found in the command 
> history, it must be moved from its old location in the history into the head 
> ... to be immediately available by a single press of the "up arrow" key.
> Can you please update it?

Done.

Not sure if attachments get through to the list, but to be sure to keep
tabs this time I attached the new patch to the sf.net patch tracker
instead, #1498727 or
http://sf.net/tracker/index.php?func=detail&aid=1498727&group_id=2055&atid=302055

   Peter.