Changing the default terminal in Gnome (Ubuntu 17.10)

default-terminal-in-ubuntu-gnome.md

I'm running Ubuntu 17.10.

After I installed Terminator, it became the default terminal in Gnome.

I would like to switch back to the default terminal.

First, I checked:

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

Which returned:

'x-terminal-emulator'

Therefore, I needed to make the change with update-alternatives:

sudo update-alternatives --config x-terminal-emulator

This prompts the user to pick from:

There are 2 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator).

  Selection    Path                             Priority   Status
------------------------------------------------------------
* 0            /usr/bin/terminator               50        auto mode
  1            /usr/bin/gnome-terminal.wrapper   40        manual mode
  2            /usr/bin/terminator               50        manual mode