https://wp.jochen.hayek.name/blog-en/2023/05/04/ubuntu-gnome-terminal-or-terminator/