Re: no duplicated lines for GNU readline history

[Juergen W. <wie...@fr...>]

Petr Mikulik wrote:
> ...
>
> I have yet another proposal. Most command line tools 
> with a readline ...
> ...

Yet another proposal, while in it: the bash also has a feature of
incremental search within the history with C-r.  AFAICS, this is
enabled by default in GNU readline.  Can this easily be enabled
while using the alternative interface to the readline library?  I
think this would be very convenient.

Juergen