[ubuntu] how to permamently disable or change default key bindings
https://ubuntuforums.org/showthread.php?t=2106567
settings - How to set keyboard repeat delay and speed in Ubuntu Gnome 16.10? - Ask Ubuntu
https://askubuntu.com/questions/846030/how-to-set-keyboard-repeat-delay-and-speed-in-ubuntu-gnome-16-10