I just upgraded to POL 3.7.1 and in the Settings->General screen the "Default terminal" choices are "xterm" and "konsole". But in the 3.6.1 version I also had the "terminal" choice, and/or a "Default" choice. Why is that third one omitted in the new version ? Or is this a bug ? As I'm working under Gnome, the missing choice is my only option (and I'd rather not install another terminal app ). Can somebody explain me how to get it back please ?

Edited by JohanSamyn

gnome-terminal exists only with debian repository version.

Sorry

It exists also in Fedora repository.

Ok, guys, thanks for answering. I guess I shouldn't have upgraded 'manually'.