Am Sun, 10 Jul 2022 19:42:49 +0200 schrieb Jean-Marc Lasgouttes <lasgouttes.lyx....@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
pgpEoDFxt0ccK.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
