No Ubuntu 18.04, emita este comando:
$ gsettings get org.gnome.desktop.peripherals.keyboard repeat
true
Se o resultado for true
, desative a repetição do teclado usando este comando:
$ gsettings set org.gnome.desktop.peripherals.keyboard repeat false
Os outros comandos relacionados que você pode usar são:
$ gsettings get org.gnome.desktop.peripherals.keyboard delay
uint32 500
$ gsettings get org.gnome.desktop.peripherals.keyboard repeat-interval
uint32 30