HOWTO · Git

Copier et coller dans Git Bash

Cet article montre différentes méthodes pour copier et coller dans Git Bash.

Une majorité de développeurs sont confrontés à des défis lors de l’utilisation de terminaux. Cet article explique comment vous pouvez copier et coller dans Git Bash.

Copier et coller avec des raccourcis clavier dans Git Bash

À l’origine, Git Bash ne vous permet pas d’utiliser les raccourcis clavier communs Ctrl+C et Ctrl+V pour copier et coller. Le raccourci Ctrl+C interrompra toute commande en cours d’exécution sur votre terminal.

Vous pouvez configurer votre terminal pour accepter les raccourcis pour copier et coller. Vous devez activer le Mode d'édition rapide pour continuer avec cette méthode.

  1. Sur votre Git Bash, cliquez sur l’icône des terminaux dans le coin supérieur gauche.

    git bash

  2. Appuyez sur l’option Defaults. Un onglet Console Windows Properties devrait apparaître.

    Propriétés

  3. Cochez les cases Quick Edit Mode et Use Ctrl+Shift+C/V as Copy/Paste et cliquez sur OK.

Noter
Vous n’êtes pas obligé d’utiliser le raccourci clavier Ctrl+Shift+C et Ctrl+Shift+V avec l’option Shift.

Copier et coller sur le menu de Git dans Git Bash

  1. Sur votre Git Bash, cliquez sur l’icône des terminaux dans le coin supérieur gauche.

    git bash

  2. Survolez l’option Edit et cliquez sur Paste ou Copy, selon l’action souhaitée. Si vous copiez depuis le Bash, vous devriez avoir copié le texte avant.

    coller bash

Utilisez les touches droite et gauche de la souris pour copier et coller dans Git Bash

  1. Lorsque vous avez sélectionné le texte à copier, cliquez sur le bouton droit de la souris.

    Touches de souris L ou R

  2. Cliquez sur Copy ou Paste en fonction de l’action souhaitée.

Ce sont les méthodes courantes pour copier et coller dans Git Bash.