How do you change default terminal?

Desktop
1

How do you change default terminal under Gnome?
It’s a quite annoying that apps that allows to open something in terminal do it in a terminal I don’t use.

Mind I’m not saying there’s anything wrong with gnome-terminal - I’m just saying for my use case there’s other that works way better and I’d like my system to respect that.

2

I’ve not tried, but I think it’s possible by tweaking the *.desktop files.

I don’t know if there is now an application or an easy way to modify desktop files.

Edit: you can look at the freedesktop.org desktop-entry spec for more information.

3

Oh, I’ve thought about something else:

$ gsettings list-recursively | grep -i terminal

In my case I see:

org.gnome.desktop.default-applications.terminal exec 'gnome-terminal'

Much easier :wink:

Edit: so with the gsettings setcommand you can change the value. Or with the dconf-editor application.

1 Like
4

This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.