Dear Eduardo,
On 2020-03-04 04:30, Eduardo Ochs wrote:
> Here they are.
Thank you.
On the bad system, you seem to run the older Linux 4.9.0-8-amd64, and on
the good one 4.19.0-8-amd64. Is that intended? Just for ruling that out,
please attach the output of the bad partition with Linux
Dear Eduardo,
On 2020-03-01 06:46, Eduardo Ochs wrote:
> I have two Debian 10 partitions on my laptop - a venerable ThinkPad
> T400 with libreboot - and in one of these partitions (in /dev/sda5,
> a.k.a. the "bad partition") sound doesn't work, and in the other one
> (/dev/sda4, a.k.a. the
Hi list,
I decided to also ask for help at pulseaudio-discuss.
My message to the other list is here:
https://lists.freedesktop.org/archives/pulseaudio-discuss/2020-March/031632.html
Cheers, E.
On Sun, 1 Mar 2020 at 13:33, Kaj Persson wrote:
>
> On 2020-03-01 at 06:46, Eduardo Ochs wrote:
> >
On 2020-03-01 at 06:46, Eduardo Ochs wrote:
Hi list,
I have two Debian 10 partitions on my laptop - a venerable ThinkPad
T400 with libreboot - and in one of these partitions (in /dev/sda5,
a.k.a. the "bad partition") sound doesn't work, and in the other one
(/dev/sda4, a.k.a. the "good
Hi list,
I have two Debian 10 partitions on my laptop - a venerable ThinkPad
T400 with libreboot - and in one of these partitions (in /dev/sda5,
a.k.a. the "bad partition") sound doesn't work, and in the other one
(/dev/sda4, a.k.a. the "good partition" from here on) it does...
The "bad