Re: switching from gnome to tde on stretch, what do I edit?