Why don't you guys just Right Click? here is how to enable copy and paste:
- Allez dans the top of the bash window, right click, allez dans properties
-
Vérifiez le box that says Quick edit Mode, and you are set!
Good day!
--
Activate Quick Edit mode, then mouse left-click is select text, right DOUBLE-click is PASTE