GNOME: Changing the Default Terminal Application

 

Changing the Default Terminal Application

Ideally, there’d be an option under Details->Default Applications, but there’s currently no option for “terminal”.

So here is a workaround… Simply symlink the terminal executable of your choice to gnome-terminal in /usr/bin.

$ sudo mv /usr/bin/gnome-terminal /usr/bin/gnome-terminal.bak
$ sudo ln -s /usr/bin/terminator /usr/bin/gnome-terminal

Source: How to change default terminal application in Gnome-Shell