Change default terminal emulator on Debian

In Debian, that is x-terminal-emulator:

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

Further reading:

• Debian Alternatives System
• Virtual Package: x-terminal-emulator
• Debian Policy Manual: Chapter 11 - Customized programs
• Debian Policy Manual: 11.8.3 Packages providing a terminal emulator