On Mon, Sep 21, 2015 at 12:18:17PM +0200, Patrick Dupre wrote: > How can I change the preference either manually from a text window > or from gnome ? Run the dconf-editor and look under org → gnome → terminal. -- Matthew Miller <mattdm at fedoraproject.org> Fedora Project Leader