Ubuntu 22.04 でキーボード入力がもたつく件

Ubuntuを22.04にアップグレードしたところ、terminalのキーボード入力で反応がワンテンポ遅れる現象が発生。

いろいろ探したところ、こちらで議論されており、その中で下記のスクリプトが提案されていた。

fix

arch=$(dpkg --print-architecture) # one of amd64 arm64 armhf ppc64el riscv64 s390x

# Ubuntu 23.10
#version="45.0-3ubuntu3"
#package="13-0"

# Ubuntu 23.04
#version="44.3-0ubuntu1.1" # only amd64
#version="44.0-2ubuntu4" # other archs
#package="12-0"

# Ubuntu 22.04
version="42.0-3ubuntu2"
package="10-0"

wget -nc http://se.archive.ubuntu.com/ubuntu/pool/main/m/mutter/libmutter-${package}_${version}_$arch.deb
wget -nc http://se.archive.ubuntu.com/ubuntu/pool/main/m/mutter/mutter-common_${version}_all.deb
if [ "$package" != "10-0" ]; then
  wget -nc http://se.archive.ubuntu.com/ubuntu/pool/main/m/mutter/mutter-common-bin_${version}_$arch.deb
fi

sudo dpkg -i *mutter*.deb

echo libmutter-$package hold | sudo dpkg --set-selections

Ubuntuのバージョンのところを適宜コメントアウトし、実行すれば解決した。

（実行後、システム再起動を忘れないように）