just
Thanks for the infos!
Problem is, digits DO appear and the final enter only inserts a newline.
Ibus is running, the running processes are
enrico 1067 0.0 0.0 518064 9020 ? Sl 08:43 0:02 ibus-daemon --xim --panel disable
enrico 1075 0.0 0.0 442940 7148 ? Sl 08:43 0:00 /usr/lib64/ibus/ibus-dconf
enrico 1077 0.0 0.1 407160 30096 ? Sl 08:43 0:00 /usr/lib64/ibus/ibus-x11 --kill-daemon
enrico 1079 0.0 0.0 516572 7020 ? Sl 08:43 0:00 /usr/lib64/ibus/ibus-portal
enrico 1091 0.0 0.0 369044 7120 ? Sl 08:43 0:00 /usr/lib64/ibus/ibus-engine-simple
(and of course, grep is there too like in you example).
Before killing all of that I would prefer knowing what that would imply...
Also, where would I change the "Keyboard input method system"? Or more generally, the keyboard settings? I feel stupid, but I can't find them in gnome-settings, only the shortcuts.