Comment activer les raccourcis clavier Copier et Coller dans le shell Bash de Windows 10

Le shell Bash de Windows 10 dispose enfin de raccourcis clavier pratiques pour copier / coller, mais ils sont désactivés par défaut pour des raisons de compatibilité. Ces raccourcis sont disponibles dans la mise à jour d’octobre 2018, qui portait à l’origine le nom de code Redstone 5..

Pour activer la copie et le collage des raccourcis clavier, cliquez avec le bouton droit de la souris sur la barre de titre de la fenêtre de votre shell bash Linux, puis sélectionnez la commande "Propriétés"..

Lorsque la fonctionnalité Jeux de Redstone 5 est activée, vous devez cliquer avec le bouton droit de la souris sur une partie vide de la barre de titre et non sur un onglet. Malheureusement, ces onglets ont été retardés et ils n'apparaissent pas dans la dernière mise à jour d'octobre 2018..

Activez l'option «Utiliser Ctrl + Maj + C / V en tant que copier / coller», puis cliquez sur le bouton «OK»..

Vous pouvez maintenant appuyer sur Ctrl + Maj + C pour copier le texte sélectionné dans le shell Bash, et sur Ctrl + Maj + V pour coller du presse-papiers dans le shell..

Comme cette fonctionnalité utilise le Presse-papiers du système d'exploitation standard, vous pouvez copier et coller vers et depuis d'autres applications de bureau Windows. Vous pouvez même utiliser la nouvelle fonctionnalité d’historique du Presse-papiers en appuyant sur Windows + V.

Windows se souvient de ce paramètre, mais uniquement pour le raccourci actuel. Ainsi, si vous avez lancé un shell Ubuntu à partir d'un raccourci de la barre des tâches, les raccourcis clavier seront automatiquement activés lorsque vous lancerez à nouveau Ubuntu à partir de ce raccourci de la barre des tâches..

Toutefois, si vous lancez Ubuntu à partir d’un raccourci du menu Démarrer ou d’une autre distribution Linux à partir d’un raccourci différent, la fenêtre du shell Bash s’ouvrira avec les raccourcis clavier désactivés. Vous pouvez activer les raccourcis clavier pour la nouvelle fenêtre et ce paramètre sera mémorisé pour le raccourci que vous avez lancé..

Cette nouvelle option fait en réalité partie de l'environnement de la console Windows et pas uniquement du sous-système Windows pour Linux. Cela signifie que vous pouvez également activer ces raccourcis pour d'autres environnements de console, tels que l'invite de commande et PowerShell. Cependant, vous pouvez déjà copier et coller ces applications avec les raccourcis standard Ctrl + C et Ctrl + V grâce à l'option «Activer les raccourcis clavier»..

L'option «Activer les raccourcis clavier» est activée par défaut, mais elle ne fonctionne pas dans l'environnement shell Bash Linux. En effet, Ctrl + C envoie un signal d'interruption indiquant au processus en cours de se terminer. Ctrl + V effectue une «insertion textuelle», ce qui provoque l'insertion de la combinaison de touches suivante sur laquelle vous appuyez, plutôt que son traitement par le terminal. Ces nouveaux raccourcis clavier offrent une alternative fonctionnelle.