Am Freitag, den 24.06.2011, 13:41 +0100 schrieb Bastien Nocera:
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
> > > gsettings set org.gnome.desktop.default-applications.terminal exec-arg
> > >
> > > 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
> > 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.
Given that you know the right commands. You first need to search the
internet because there is zero documentation about this on the installed
system or the gnome.org
website. Then you need to look up the options
from the terminal and the third step is to actually "run a couple of
commands" on the terminal.
Why so hard? What is so bad about another dropdown? Just that you don't
like it? To me it looks like making simple tasks very hard just to then
claim "This is something only hackers do."
> > > 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.
YMMD! I'm sorry, I had to blog you at
There are people who are working in (their preferred) terminals all day
but don't have a clue about gsetings of dconf. Still they use GNOME
because they think it's a nice desktop. You think it is wise to exclude
them from your target audience by definition?
> > > 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
> > > 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.
Again, this requires one know them...
But this was not the question. I asked what the developer or package
maintainer can do and I even made a proposal , but your response is
only about what users do.
Or you ship the XML file in whatever ends up configuring the
So what configures the terminal? What XML file should I actually ship? I
cannot replace org.gnome.desktop.default-applications.gschema.xml
AFAICS this is only stored once in gsettings and there is no way to ship
alternative configurations for other terminals.
I hope you can understand that for me as (co-)maintainer of 6 different
terminals in Fedora this is an important question and I would like to
hear a better reasoning than "I don't want to see this in control