Comment Comment by charlesetc I use konsole which is better than I found gnome-terminal to be and less klunky than I was expecting parent charlesetc 9 years ago