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?
2. Where is 'exec-arg' arg coming from? 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?
Regards,
Christoph