Voici le paliatif.
Créez le fichier $HOME/.Xmodmap contenant les lignes suivantes : ! Correctif pour le bug 188342 ! https://bugs.launchpad.net/ubuntu/+bug/188342 keycode 91 = KP_Delete KP_Decimal KP_Separator U202F KP_Separator U202F
Voici le paliatif.
Créez le fichier $HOME/.Xmodmap contenant les lignes suivantes : /bugs.launchpad .net/ubuntu/ +bug/188342
! Correctif pour le bug 188342
! https:/
keycode 91 = KP_Delete KP_Decimal KP_Separator U202F KP_Separator U202F