Je viens d'installer MinGW sur Windows et je ne parviens pas à copier/coller comme je le fais sur Linux ou même avec PuTTY. Quel est le truc pour copier et coller du texte (par exemple depuis Chrome) dans l'invite de commandes MinGW ?
Cliquez avec le bouton droit de la souris sur la barre de titre de la fenêtre de commande et sélectionnez 'Propriétés', puis sur l'onglet 'Options', cochez la case du mode 'Edition rapide', puis cliquez sur 'OK'.
Après cela, vous pouvez coller du texte à partir du presse-papiers en utilisant le bouton droit de la souris, mettre en surbrillance du texte en maintenant enfoncé le bouton gauche de la souris et copier le texte sélectionné en utilisant la touche ENTRÉE.
Cette procédure fonctionne sur Windows 7/8, pas sur Windows 10.
Bizarre, mon terminal git bash MinGW n'a pas d'élément Propriétés. Il a cependant ces deux options: 1) Appuyez sur la touche insert de votre clavier pour coller et 2) Clic droit sur le terminal->Options->Souris->"Action du clic droit" RadioButton:Coller pour coller rc-
[Alternative] Pour le terminal MINGW64 (mintty 2.7.9) sous Windows 10, vous pouvez activer les raccourcis "Ctrl+Shift+lettre" pour copier avec (Ctrl+Shift+c) et coller avec (Ctrl+Shift+v).
Pour activer la fonctionnalité :
Lorsque vous éditez un fichier avec vi/vim :
Ce bug de mintty copier-coller CTRL + C & CTRL + V corrige le problème. Il permet la copie et le collage normaux avec Control-C, Control-V, mais au détriment de la modification d'autres caractères de contrôle. Ainsi, pour arrêter un processus en cours d'exécution, vous avez besoin de Control-Shift-C, pour l'interrompre, vous auriez besoin de Control-Shift-Z et pour envoyer un EOT, vous avez besoin de Control-Shift-D. Vous pouvez trouver que l'avantage de copier-coller de windows l'emporte sur les inconvénients.
Le comportement nécessite un drapeau à définir dans le fichier .minttyrc. Qui devrait ressembler à ça
CtrlShiftShortcuts=yes
CtrlExchangeShift=yes
Win7 exécutant MINGW64 (mintty 2.7.3) qui est venu avec la version actuelle de Git Bash 2.1.3.0 à la date de ce commentaire.
Clic droit sur la barre de titre de la coquille > Souris > sous Actions de clic > Bouton droit de la souris > sélectionnez le bouton radio Coller.
Cependant, j'ai été surpris de constater que cela ne me permettait pas de coller en utilisant le clic droit de ma souris.
J'ai également dû sélectionner Mode souris d'application > Cible de clic par défaut > Fenêtre
Après avoir modifié les deux paramètres, j'ai pu coller.
Il semble donc que la nouvelle coquille livrée avec la version actuelle de Git bash a de nouvelles fonctionnalités. Elle semble aussi être un peu boguée. Par exemple, l'exécution d'un exécutable via l'interface en ligne de commande (par exemple php -version) donne une sortie vide et m'oblige à redémarrer la coquille. En attente d'une nouvelle mise à jour, espérons qu'elle résoudra ce problème.
La solution de @mrt ci-dessus est permanente. Voici un moyen plus rapide pour n'importe quel invite de commande 16 bits dans Windows :
COPIER
Cliquez sur l'icône en haut à gauche > Édition > Sélectionner, sélectionnez le texte puis cliquez droit
COLLER
Processus similaire à celui décrit ci-dessus (utilisez Édition > Coller) OU appuyez simplement sur la touche INSERT
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
