Re: How to change GSettings from command-line?

["D. A. H." <dhunt@freedommail.co>]

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?


Best Regards,



Dave



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.