[paulfurtado]

It's been a while, but gnome-terminal on earlier gnome 3 releases used to segfault very frequently for me. It's the thing that finally made me seek out other terminal emulators

[woodruffw]

I had the same experience with gnome-terminal back on Ubuntu 14.04 (or maybe even 12.04, it's been a while).