キーボードの繰り返しと遅延の設定が、Ubuntu 18.04のXorgで遅い値(明らかにデフォルト)に戻ることがあります。
この状況では、実際の値(xset q
によって取得される)は
auto repeat delay: 500 repeat rate: 30
一方、gsettings get org.gnome.desktop.peripherals.keyboard delay
は以下を返します。
uint32 250
その後gsettings set org.gnome.desktop.peripherals.keyboard delay 250
を実行すると、キーボードの遅延/リピート設定が正しく設定されます(xset q
その後auto repeat delay: 250
を返します)。
この振る舞いにはいくつかのトリガーがあるように見えますが、その1つは一時停止とウェイクアップのサイクルです。私はまだ他人を再現することができませんでした。
私のシステムは、BIOS(非EFI)モードのA78M-E35ボードを備えたA10-5800KにインストールしたUbuntu 18.04です。
ヒントをいただければ幸いです。
再開時にキーボードのリピートレートを自動的にリセットするスクリプトを作成できます。
#!/bin/bash
# NAME: keyrepeat
# PATH: /lib/systemd/system-sleep
# CALL: Called from SystemD automatically
# DATE: July 4, 2019.
# NOTE: https://askubuntu.com/questions/1086780/keyboard-repeat-delay-is-reset-occasionally-in-ubuntu-18-04
case $1/$2 in
pre/*)
echo "$0: Going to $2..."
;;
post/*)
echo "$0: Waking up from $2..."
gsettings set org.gnome.desktop.peripherals.keyboard delay 250
;;
esac
スクリプトを/lib/systemd/system-sleep
に配置します。
以下で実行可能にします:
chmod a+x /lib/systemd/system-sleep/keyrepeat
コマンドを中断した後、再起動してからすべての再開します。
gsettings set org.gnome.desktop.peripherals.keyboard delay 250
自動的に実行されます。