Over-engineered
How do you change your default terminal emulator in debian (-based distros)?
sudo update-alternatives --install \
/usr/bin/x-terminal-emulator x-terminal-emulator /usr/bin/xterm 50 \
--slave \
/usr/share/man/man1/x-terminal-emulator.1.gz x-terminal-emulator.1.gz \
/usr/share/man/man1/xterm.1.gz
Wow, could they have made it any more complicated to say "stop giving me
this GNOME terminal garbage and give me a working terminal instead?"
As extra proof that this is just waaaay too complicated, I had to put it
in an old-skool blog post rather than on the new-fangled twitwagon, because
it won't fit there.