D. A. H. <[email protected]> wrote: > 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?
It used to work without any manual intervention, and I understand it still does in some distributions, so it might be useful to find out how they handle the situation. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
