Hi, more information: After searching some more and finding I am not alone with respect to stuck keyboard, I also found that someone suggests (in https://bugzilla.redhat.com/show_bug.cgi?id=676446 ) to invoke
echo -n reconnect > /sys/devices/platform/i8042/serio0/drvctl and so far it seems to recover the keyboard, even if the logs are not the same (symptoms are: stuck key and the rest of keys do nothing). Just a workaround, but at least this means no full reboot needed, just ssh from another machine or some kind of automatic triggering. GSR -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
