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.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
