Man, this is disgusting!
After upgrade to Ubuntu 20.10, the Bluetooth keyboard issue I mentioned before seems to be fixed, at least it has appeared to be better. However another thing is broken!
After waking up, it seems my Bluetooth keyboard gets reset to the initial state disregarding all of my personalization, such as repeat rate and interval, as well as cap lock remapping.
~I have not found any known issue of this~ (Updated: this seems to be the fix) and I could not find any sensible workaround. I end up with running a script manually every time waking up.
1
2
3
4
5
6
7
#!/bin/sh
gsettings set org.gnome.desktop.peripherals.keyboard repeat false
gsettings set org.gnome.desktop.peripherals.keyboard repeat true
gsettings set org.gnome.desktop.input-sources xkb-options "[]"
gsettings set org.gnome.desktop.input-sources xkb-options "['caps:ctrl_modifier']"
gsettings set org.gnome.desktop.peripherals.mouse speed 1.0
This works basically by toggling things back and forth. As long as it works.