Super !
Tiens, une autre astuce que tu vas peut-être aussi apprécier et qui marche partout dans Ubuntu :
- triple clic gauche pour sélectionner et copier une ligne entière
- clic molette pour coller dans le terminal ou dans un éditeur de texte ou ailleurs…
Bon weekend à toi aussi !