|| ||Bastien Nocera <bnocera-AT-redhat.com> |
|| ||Discussions about development for the Fedora desktop
|| ||Re: Default terminal in GNOME 3 |
|| ||Fri, 24 Jun 2011 13:41:43 +0100|
|| ||Article, Thread
On Fri, 2011-06-24 at 14:10 +0200, Christoph Wickert wrote:
> Am Freitag, den 24.06.2011, 09:51 +0100 schrieb Bastien Nocera:
> > On Thu, 2011-06-23 at 23:10 +0200, Christoph Wickert wrote:
> > > I wondered how to set the default terminal in GNOME 3. The internet
> > > revealed
> > >
> > > gsettings set org.gnome.desktop.default-applications.terminal exec <terminal>
> > > gsettings set org.gnome.desktop.default-applications.terminal exec-arg "'-e'"
> > >
> > > This raises 2 questions:
> > > 1. Will it be possible to set the default terminal again in GNOME
> > > 3.2?
> > It's possible, but I really wouldn't want to see it in the UI. Feel free
> > to ask gnome-tweak-tool to add it.
> Why not? I consider this not a tweak but a very basic task. I mean, why
> not force people to use evolution, epiphany and totem then?
Because those are reasonable choices for an end-user to make, something
they can actually experience themselves. If you can grasp the
differences between the terminal emulators available you can run a
couple of commands in your "not preferred" terminal emulator.
> > > 2. Where is 'exec-arg' arg coming from?
> Well, I know there is a preset for gnome-terminal but what about other
Because we're not designing a desktop for people who like to choose
their own terminal emulators.
> > > In the past we had the xml
> > > files in /usr/share/gnome-control-center/default-apps/ which
> > > contained an 'exec-flag'. How can I as a maintainer of several
> > > terminal applications let people know the proper
> > > exec-flag/exec-arg?
> > Is that XML file not current anymore? I don't really understand the
> > question.
> Right, there are no XML files any longer. Xfce's Terminal package still
> has one (because it was built a while ago) but the value is not picked
> up. gnome-terminal no longer provides an XML file. I looked for a
> X-GNOME-* key in gnome-terminal.desktop, but no luck either.
> It seems like exec-flag/exec-arg only live in the schema you linked and
> it is no longer possible for a developer/maintainer to deliver a working
> configuration for other terminals. Is that correct?
Huh? You change both keys, as mentioned above, and voila. Or you ship
the XML file in whatever ends up configuring the terminal.
desktop mailing list
to post comments)