Dans les versions précédentes, je pouvais modifier le délai et la vitesse de répétition du clavier en allant à Settings > Keyboard > Typing
. Maintenant, dans Ubuntu Gnome 16.10 (avec Gnome 3.20.2), ce panneau semble manquer.
Comment puis-je configurer ces paramètres dans cette version?
Ok, je l'ai trouvé. Ces paramètres ont été déplacés vers Paramètres> Accès universel> Saisie> Touches de répétition vous devez ensuite cliquer sur la ligne Répéter pour afficher une boîte de dialogue contextuelle contenant les paramètres.
De plus, le paramètre Vitesse fonctionne de manière inverse: plus la vitesse est basse, plus le taux de répétition est rapide.
Les mêmes travaux dans Ubuntu 17.04 et 18.04.
Sur Ubuntu 14.04 et supérieur, cela survivra après le redémarrage:
gsettings set org.gnome.desktop.peripherals.keyboard repeat-interval 30
gsettings set org.gnome.desktop.peripherals.keyboard delay 250
Si rien ne fonctionne, essayez d'exécuter xset r rate 220 40
à partir d'une console.
Pour moi, la couche HID s'est cassée d'une certaine manière et l'interface graphique de configuration ne fonctionnait pas, gsettings
ne fonctionnait pas, seul xset
fonctionnait.
Cette solution n'est toutefois pas persistante et disparaîtra au redémarrage (sauf si elle est ajoutée à ~/.bashrc
).