4

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?

1 Answer 1

5
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

Edit (Gnome 3.36.2):

The path to the same settings on newer versions of Gnome is org.gnome.desktop.applications.terminal instead, however:

DEPRECATED: This key is deprecated and ignored. The default terminal is handled in GIO.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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