Dans un environnement Linux tel qu’Ubuntu, les raccourcis clavier peuvent jouer un rôle essentiel en améliorant votre efficacité au travail. Toutefois, les réglages par défaut peuvent ne pas toujours correspondre à vos habitudes ou à vos préférences. Pour tirer le meilleur parti de votre expérience de travail, il est primordial de personnaliser ces raccourcis.
Comment attribuer/remapper des raccourcis clavier pour une meilleure productivité sous Linux
Lorsqu’un raccourci clavier interfer avec votre flux de travail habituel, il est nécessaire de le modifier. Que vous préfériez utiliser un autre logiciel multimédia ou que certains raccourcis entravent votre productivité, le remappage des touches peut s’avérer une solution efficace.
Gérer les raccourcis sous l’environnement Gnome
Accéder aux paramètres des raccourcis
Pour commencer, ouvrez le menu des applications en appuyant sur la touche Super de votre clavier. Recherchez et sélectionnez l’option « Raccourcis clavier » pour accéder à la liste des raccourcis disponibles.Modifier un raccourci existant
Faites défiler la liste pour identifier le raccourci que vous souhaitez changer. Cliquez dessus pour le sélectionner, puis appuyez sur la nouvelle combinaison de touches que vous souhaitez attribuer. Par exemple, si le raccourci pour ouvrir le terminal est par défaut Alt + F2 et que vous voulez le changer pour Alt + F12, procédez comme suit.Créer un nouveau raccourci
Pour ajouter un nouveau raccourci, cliquez sur le bouton avec le symbole plus en bas de la liste. Vous devrez renseigner deux champs: le nom du raccourci et la commande qu’il doit exécuter. Après avoir défini le raccourci, cliquez sur le bouton « Définir le raccourci… » et saisissez la combinaison désirée.- Supprimer un raccourci
Si vous souhaitez vous débarrasser d’un raccourci que vous avez créé, sélectionnez-le et cliquez sur le bouton rouge « Supprimer ». Cela ne s’applique qu’aux raccourcis que vous avez ajoutés; pour désactiver un raccourci par défaut, sélectionnez-le puis appuyez sur la touche Retour arrière.
Remapper des raccourcis avec KDE
Ouvrir les Paramètres Système
Appuyez sur la touche Super ou ouvrez le menu principal, puis sélectionnez « Paramètres système ». Cette section vous permettra de gérer divers aspects de votre environnement KDE, y compris les raccourcis clavier.Accéder aux Raccourcis
Dans la fenêtre des paramètres, cliquez sur « Raccourcis », où il existe plusieurs catégories de raccourcis. KDE vous offre plus de flexibilité que d’autres environnements de bureau grâce à la répartition des raccourcis en groupes distincts.Modifier un raccourci global
Pour ajuster un raccourci global, trouvez celui que vous souhaitez changer et sélectionnez « Personnalisé ». Ensuite, cliquez sur le bouton à droite de cette option et appuyez sur la nouvelle combinaison de touches que vous souhaitez définir.- Créer un raccourci personnalisé
Pour ajouter un raccourci spécifique, faites un clic droit sur un espace vide dans la section des raccourcis et choisissez le type de raccourci que vous souhaitez créer. Définissez le déclencheur ainsi que l’action que vous désirez exécuter et n’oubliez pas de cliquer sur « Appliquer » pour sauvegarder vos modifications.
Choisir des raccourcis optimisés
Identifier les raccourcis qui améliorent réellement votre productivité est crucial. Pensez à utiliser des combinaisons de touches qui vous semblent naturelles et qui ne nuisent pas à votre façon de travailler. En testant différentes configurations, vous serez en mesure de constater lesquelles fonctionnent le mieux pour vous.
FAQ
1. Pourquoi devrais-je remapper mes raccourcis clavier sous Linux ?
Remapper vos raccourcis clavier vous permet d’adapter votre environnement à vos besoins, d’éviter les conflits avec d’autres logiciels et d’augmenter votre productivité en travaillant plus rapidement.
2. Est-ce que tous les environnements de bureau Linux permettent de modifier les raccourcis clavier ?
La plupart des environnements de bureau populaires comme Gnome et KDE permettent de personnaliser les raccourcis, mais les options peuvent varier en fonction des distributions et des configurations spécifiques.
3. Que faire si un raccourci ne fonctionne pas après avoir été modifié ?
Si un raccourci ne fonctionne pas comme prévu, assurez-vous qu’il ne soit pas en conflit avec d’autres raccourcis existants. Vérifiez également que vous avez bien enregistré vos modifications après les ajustements.