Probably a better solution instead of downgrading would be to use the Mate-terminal and use the --disable-factory and --class options as the link suggested above. But gnome has removed the gsettings (same as dconf) option to set default terminal. It just says that it is deprecated and default terminal is handled now by GIO ??? I have wasted an hour googling it and still have no idea what GIO is except that gnome has now hard coded the terminal in some system library and the user simply has no option to change it %$$#@#???!!! (What's wrong with Gnome?? It has become a major pain to use because of its incessant removal of features and options. I really hope Unity 8 matures so I don't have to deal with gnome anymore)
So instead of wasting more of my time figuring out GIO I just removed gnome-terminal, installed the Mate-terminal and made a symlink from /usr/bin/mate-terminal to /usr/bin/gnome-terminal and change my .desktop file to
Code:
[Desktop Entry]
Version=1.0
Name=Polymake
Comment=run polymake in a terminal
Type=Application
Exec=gnome-terminal --disable-factory --class=polymake -x polymake
Terminal=false
Categories=Math;Science;Education;
Icon=/home/monkeybrain/share/icons/polymake.png
Encoding=UTF-8
StartupWMClass=polymake
Logged out and logged in and it works! Removing gnome-terminal apparently doesn't have any bad effect so far but probably need more testings to be sure. Tested on Fedora 23 (of course not on my working Ubuntu system
) which has gnome-shell 3.18 and mate-terminal 1.12.1 so this is likely going to work in Ubuntu 16.04 as well.
Bookmarks