Re: gnome-terminal preference

2015-09-21 Thread Matthew Miller
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 Fedora Project Leader -- users mailing list users@lists.fedoraproj

gnome-terminal preference

2015-09-21 Thread Patrick Dupre
Hello, I was not satisfied by the behavior of gnome-terminal. Then I checked run my own command (or something similar) in preferences (of gnome-terminal). Then it became crazy, opening multiple gnome-terminals. I cannot access to the preferences any more. I can only kill gnome-terminal from a text