Or you may simply use:sudo update-alternatives --config x-terminal-emulator
as per comment; to update it on per user basis check https://serverfault.com/questions/631447/how-to-use-update-alternatives-per-user
↧
Answer by Galvani for How to change default terminal application in Gnome-Shell
↧