https://askubuntu.com/questions/1005416/how-to-change-default-terminal-of-geany-esp-konsole?noredirect=1#comment1627439_1005416