After using Linux Mint with Cinnamon for a long time I am now back with Ubuntu with GNOME (reluctantly, I may add).
One thing I have noticed is there does not seem to be an option in the settings to change your preferred terminal emulator.
Luckily it can be changed in several other ways,
The generic fix
in a terminal, write
$ gsettings set org.gnome.desktop.default-applications.terminal exec tilix
In this case I have changed to the Tilix terminal emulator.
The Debian/Ubuntu fix
Done using update-alternatives but the above should be more generic (as in, I have no idea how it’s done on other platforms)
$ sudo update-alternatives --config x-terminal-emulator
If you do this, org.gnome.desktop.default-applications.terminal
should be set to x-terminal-emulator
.
$ gsettings set org.gnome.desktop.default-applications.terminal exec x-terminal-emulator