En tant qu'utilisateur de Linux, je suis un gros utilisateur d'espace de travail. Windows 10 en est doté, mais j'aimerais toujours pouvoir passer de l'un à l'autre comme je le fais dans Linux, où j'utilise ctrl + alt + right o left pour passer d'un espace de travail à l'autre.
Cependant, pour Windows 10, c'est plutôt ctrl + windows + right o left .
Comment modifier ces raccourcis de Windows 10 en ceux de Linux ?
On ne peut pas modifier les raccourcis de Windows, mais on peut intercepter les touches et les changer à la volée.
AutoHotkey est un excellent programme pour remapper les touches du clavier. Voici les étapes à suivre pour le mettre en place :
!^Right::^#Right!^Left::^#Left
Pour trouver le dossier de démarrage dans Windows 10, ouvrez "Exécuter" (appuyez sur Win + R (ou recherchez-le dans le menu Démarrer) et tapez soit (sans guillemets) : "Shell:startup" pour l'utilisateur actuel, ou "Shell:common startup" pour tous les utilisateurs. Copiez startup.ahk dans le dossier qui s'ouvre.
J'ai essayé le script de harrymc mais ça n'a pas marché. Je l'ai donc modifié et le suivant a fonctionné pour moi :
!^Right::send, #^{Right down}{Right up}
!^Left::send, #^{Left down}{Left up}tout le reste allait bien.
Puis j'ai amélioré le script en ajoutant les lignes suivantes
!^Down::
send, #^{Right down}{Right up}
Sleep, 200
send, #^{Right down}{Right up}
return
!^Up::
send, #^{Left down}{Left up}
Sleep, 200
send, #^{Left down}{Left up}
returnCela permet d'émuler une grille 2x2 avec des flèches vers le haut et vers le bas pour naviguer entre les rangées.
Edit : Le sleep a été ajoutée pour permettre à l'animation de se terminer avant l'envoi de la deuxième commande send Sinon, j'ai vu des cas où cette deuxième instruction a été ignorée.
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
