(From update of attachment 3677)
update: after rebooting I actually have a /dev/input/mice. When I plug the
mouse into the usb-port I usually use, it doesn't work. When I plug it the port
on the other side of the laptop, it works very fine. Seems pretty strange to
me, but that is possibly another bug?
(From update of attachment 3677)
update: after rebooting I actually have a /dev/input/mice. When I plug the
mouse into the usb-port I usually use, it doesn't work. When I plug it the port
on the other side of the laptop, it works very fine. Seems pretty strange to
me, but that is possibly another bug?