Windows 10 build 14316 : Ctrl + v ne fonctionne pas sur Bash sur Ubuntu sur Windows

Le principal problème, selon moi, est que cmd.exe ne gère pas bien l'environnement bash. En lui-même, le nouveau cmd.exe en fait fait soutien Ctrl + v mais en cours d'exécution bash Il n'en est rien.

Ma solution consiste à utiliser ConEmu . Il est bien supérieur à cmd.exe seul et vous permet même de mettre en évidence les couleurs lorsque vous êtes en cours d'exécution. bash . Je l'ai testé et Ctrl + v fonctionne. En outre, vous disposez d'un terminal à onglets.

À partir d'au moins Windows 10 Insider build 17643 vous pouvez utiliser Ctrl + Shift + C / V comme Copier/Coller si vous l'activez dans les options de bash :

Cette fonctionnalité fait partie de la mise à jour d'octobre 2018 (1809 - Build 17763).

Pour autant que je sache, il n'existe pas de "bonne" solution (quickedit paste ne semble pas fonctionner). Ce que je suggérerais est ceci : créez un script autohotkey :

SetTitleMatchMode, 2
#IfWinActive, bash
^v::
SendInput {Raw}%clipboard%
return

Comme nous l'avons constaté dans les commentaires, l'entrée Coller du menu système de la fenêtre ne s'active qu'après avoir appuyé sur la touche Ctrl + V une seule fois, ce qui est inhabituel. Après cela, cependant, vous pouvez utiliser la séquence Alt + Space , E , P . (Avec l'aimable autorisation de cette réponse de Stack Overflow par Nescio). Ce n'est pas optimal, mais cela fonctionne.

Si la fenêtre Bash on Ubuntu on Windows possède une entrée Propriétés dans ce menu, vous pouvez pourrait pouvoir cocher la case "QuickEdit Mode" dans l'onglet Options pour que le fait de cliquer avec le bouton droit de la souris dans la fenêtre soit considéré comme un collage.