You don't have to settle for the default.
https://www.howtogeek.com/how-and-why-to-change-the-default-terminal-on-ubuntu/?utm_source=dlvr.it&utm_medium=blogger
https://www.howtogeek.com/how-and-why-to-change-the-default-terminal-on-ubuntu/?utm_source=dlvr.it&utm_medium=blogger