Re: Package identification
Clumsy and inefficient:
> (I'm subscribed there. No need to Cc: me.)
Clean and efficient:
>> Reply-To: debian-user@lists.debian.org
> 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
Reply to: