Préférences Clavier Terminal
Utilisez les préférences Clavier dans Terminal pour définir le comportement du clavier pour un profil de fenêtre. Pour ouvrir cette sous-fenêtre, choisissez Terminal > Préférences, cliquez sur Profils, puis sur Clavier.
Vous pouvez créer un profil ou modifier un profil existant.
Liste Touche | Pour modifier une touche, sélectionnez-la, cliquez sur Édition, modifiez les réglages de la touche, puis cliquez sur OK. | ||||||||||
Bouton Ajouter | Pour créer une touche, cliquez sur le bouton Ajouter | ||||||||||
Bouton Supprimer | Pour supprimer une touche, sélectionnez-la dans la liste, puis cliquez sur le bouton Supprimer | ||||||||||
Utiliser « Option » comme touche virtuelle | Pour que la touche Option du clavier joue le rôle d’une touche virtuelle, cochez la case Utiliser la touche « Option » comme touche virtuelle. Cela s’avère utile sur les ordinateurs exécutant X11 et dans certains éditeurs de texte. | ||||||||||
Faire défiler l’écran secondaire | Pour activer le défilement de l’écran secondaire, sélectionnez « Faire défiler l’écran secondaire ». | ||||||||||
