3

I know Pantheon Terminal (just called Terminal) is the default terminal. But if I wanted to use an alternative as the default (e.g., gnome-terminal when called from other apps or from a keyboard shortcut), how can I set it?

2

gsettings set org.gnome.desktop.default-applications.terminal exec gnome-terminal

gsettings set org.gnome.desktop.default-applications.terminal exec-arg ''

If you want to set a terminal other than gnome-terminal as the default, replace that text in the command.

If you would like to do this in a GUI, run dconf-editor and drill down the menus (org > gnome > desktop > applications > terminal). exec sets the command to execute as the default and the exec-arg adds any flags to run on the command. (Note that the description says that this method is deprecated, which it has said for some time, but it works with Loki. Otherwise there is an order in which GNOME prefers different terminals.)

To restore the defaults (pantheon-terminal -e):

gsettings reset org.gnome.desktop.default-applications.terminal exec
gsettings reset org.gnome.desktop.default-applications.terminal exec-arg

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.