https://eirenicon.org/pop_os-how-to-replace-gnome-terminal/