On 1/11/21 11:00 AM, Thomas Mellman wrote:
But here's a bug for you, in readline:
- edit a line
- go to some character
- replace that character with another, using the "r" command.
- cruise further down the line to another character
- hit the "." repeat command
The replace operation will not be executed, but rather the "x"
operation.
This has actually improved over the years. A while back, repeating an
earlier operation like that would get characters tangled up. Now, it
seems at least to be deterministic.
I can't reproduce this on bash-5.0 or bash-5.1.