Change the default terminal emulator in GNOME 3
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 Tilixterminal emulator....