Remove duplicate history entries in command buffer

[Kornel Benko]

Am Sun, 10 Jul 2022 19:42:49 +0200
schrieb Jean-Marc Lasgouttes <lasgouttes.lyx.org at free.fr>:

> Le 10/07/2022 à 18:38, Kornel Benko a écrit :
> > I don't get it.
> > 1.) I like the rim(), was about to use it too ... but was unsure if sometimes
> >      one needs spaces at end.  
> 
> In this case, I can remove it from both cases. It is not right to 
> maintain two lists and have one which is different from the other for no 
> reason. We can do what you prefer, but in sync.

OK, I missed the second list anyway.

> > 2.) If I understand correctly, the your patch only omits repetition of the last
> > command. But in the history there may be more of them  
> 
> I am uneasy with the idea of removing stuff in the whole history because 
> it was used again. Maybe just because I am use dthe the 'ignoredups' 
> history control of bash, instead of 'erasedups'.
> 
> Moreover, the justification in your first message was only for the last 
> command, not for the older ones. But I am open for arguments on when it 
> is useful.
> 
> JMarc

So I was not clear enough. With 'duplicated' I meant anywhere in the history.

The (my) argument was seeing the session file full of the same commands
spread all over the file, essentially shortening the maximum (different) commands
possible.

I was testing findadv, the session file was full of 'regex-mode', 'unicode-insert, etc.

	Kornel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 488 bytes
Desc: Digitale Signatur von OpenPGP
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20220710/6f51027e/attachment.asc>