■
Linuxのキーリピート無効にする方法がわからなかったので超テキトーに対応
echo 1 > /sys/devices/platform/i8042/serio0/softrepeat kbdrate -d 100000000
ハードウェア制御のリピートだと1秒以上待てないようだが、ソフトウェアリピートなら待つ。
と思ったがこれだとUSBキーボードで有効にならないのだった。
もうちょっと調べるか…
Fedoraの環境見てると、キーボードとマウスのドライバはevdevに統合されてる感じがするな。それと関係するかも。あとFedoraでもkbdrepeatとxset rを混ぜると変なことになるので、何か統一して設定しないといけないということか。