Copier/Coller en terminal - pas de du Ctrl+C / Ctrl+V, ajoutez un Shift
Posté : dim. 6 juil. 2025 20:06
Salut,
Longtemps que cela me rongeait de donner une p'tite explication

Donc je vais essayer de faire cela en 2-3 lignes.
Quand on veut copier/coller dans un terminal Ctrl+C ou Ctrl+V ne marchent pas, dévolus à d'autre tâches (par exemple, Ctrl+C permet de stopper le processus en cours).
Il faut donc ajouter un Shift/Maj au raccourci-clavier :
Et il y a aussi un deuxième presse-papier (qui marche aussi en dehors du terminal) sous linux avec le bouton-molette de la souris (moins utile quand on joue du clavier -debout
)
Plein d'autres raccourcis au clavier (sans souris) en terminal, je n'en dirais pas plus, la littérature web est assez conséquente sur ce sujet.
Longtemps que cela me rongeait de donner une p'tite explication
Donc je vais essayer de faire cela en 2-3 lignes.
Quand on veut copier/coller dans un terminal Ctrl+C ou Ctrl+V ne marchent pas, dévolus à d'autre tâches (par exemple, Ctrl+C permet de stopper le processus en cours).
Il faut donc ajouter un Shift/Maj au raccourci-clavier :
- Ctrl+Maj+C ⇒ copier
- Ctrl+Maj+V ⇒ coller
Et il y a aussi un deuxième presse-papier (qui marche aussi en dehors du terminal) sous linux avec le bouton-molette de la souris (moins utile quand on joue du clavier -debout
Plein d'autres raccourcis au clavier (sans souris) en terminal, je n'en dirais pas plus, la littérature web est assez conséquente sur ce sujet.