Dear Maintainer, in addition to that, I want to tell which mouse I am exactly using. It is this model from HP:
https://store.hp.com/us/en/pdp/hp-usb-1000dpi-laser-mouse After boot and the mouse connected to an USB hub it is also not connected and one has to replug the mouse into the USB port of the USB hub to make it working. I am using Debian/testing. The problem arouses even with the new Linux kernel version 5.5 from Debian/testing. Thank you very much in advance. Sincerely, Adrian -- With many greetings from Leipzig, Germany. Adrian Immanuel Kieß Gothaer Straße 34 D-04155 Leipzig Administrator & programmer Unix ∧ Perl ∧ Java ∧ LaTeX 📪 — < adr...@kiess.onl > --SYSTEM-- echo "Your fortune cookie: " && /usr/games/fortune -c -s > (zippy) % There's a little picture of ED MCMAHON doing BAD THINGS to JOAN > RIVERS in a $200,000 MALIBU BEACH HOUSE!! echo "g6 uptime: " && /usr/bin/uptime > 14:52:52 up 9:59, 1 user, load average: 2,31, 2,20, 1,91