Gnome-terminal 3.8 and newer breaks mono-develop. See here:
https://bugzilla.xamarin.com/show_bug.cgi?id=12684#c6
Gnome-terminal 3.8 and newer breaks mono-develop. See here:
https:/ /bugzilla. xamarin. com/show_ bug.cgi? id=12684# c6