Hi, Thanks for the quick reply.
>> [org.gnome.desktop.sound] >> event-sounds=false >> >> ... which does not work either. > > I just tried this, and it works for me. > > I’ll add the example to the documentation. > > Have you thought of running “invoke-rc.d gdm3 reload” after changing the > settings? I had rebooted. I tried again, with “invoke-rc.d gdm3 reload” ,still did not work. /var/lib/gdm3/gschemas.compiled gets generated okay. Where can I look? Thanks, Alex -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
