copy-paste in cli
There is a small bug in how copy-paste happens in cli ,
When you do
When you do
Ctrl-A
and select whatever is there, Ctrl-V
doesn't always pastes but deselects it, but second try always works. I home it's not my old keyboard but actually a bug.