Clumsy and inefficient: > (I'm subscribed there. No need to Cc: me.)
Clean and efficient: >> Reply-To: [email protected] > https://lists.debian.org/debian-user/ > does not deliver a page, although ping lists.debian.org works fine. Works for me. Either a transient problem or a problem on your side. > > Are alternative archive URLs known ? E.g. to USENET linux.debian.user ? Gmane has them, it seems. > Wolf wrote: > > I don't think it's a firmware problem: both the keyboard and the mouse are > > working after boot. > That's possibly because the Linux drivers perform some settings on > the hardware. The boot firmware (EFI ?) and GRUB obviously don't do > what is needed. Indeed. The described problem is EXACTLY what we should expect if the firmware has lost ability to drive USB but the Linux kernel still works. Regards, -- Nicolas George
