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.