Pour activer la copie et le collage de 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.
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 sont automatiquement activés lorsque vous lancez à 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é.
L’option «Activer les raccourcis clavier» est activée par défaut, mais elle ne fonctionne pas dans l’environnement shell Bash Linux. C’est parce que Ctrl + C envoie un signal d’interruption indiquant au processus en cours de se terminer. Ctrl + V effectue une «insertion textuelle», ce qui entraîne 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.
