Re: no duplicated lines for GNU readline history

[Petr M. <mi...@ph...>]

> 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?)

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?

---
PM