Re: How to change GSettings from command-line?
I've noticed this behavior in GNOME 3.10 instances ither than Debian, in
which I have manually killed the speech-dispatcher process belonging to
the user, gdm. Maybe the latest gdm offers options for pre-session and
post-login type scripts that can handle this clean-up? Maybe a script
can be run at pre-login, when user logs out or switches user?
On 03/20/2014 01:39 PM, Mario Lang wrote:
BTW: There is apparently a bug in gdm's launching of orca:
When I login, a second orca is launch, while the one running
as user Debian-gdm continues running. I am not sure if this is intended.
When I logout again, the gdm orca does not resume speaking.
So logging in again after a logout is currently not accessible on the
test system we just setup.