https://jmgtec.com/how-to-set-terminal-emulator-on-ubuntu/