Gnome-terminal 3.8 and newer breaks mono-develop. See here:
https://bugzilla.xamarin.com/show_bug.cgi?id=12684#c6
** Bug watch added: bugzilla.xamarin.com/ #12684
http://bugzilla.xamarin.com/show_bug.cgi?id=12684
--
You received this bug notification because you are a member of Ubuntu
Deskto
See also bug 1132700.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1261619
Title:
Update GNOME Terminal to 3.10.2
To manage notifications about this bug go to:
https://bu
Yes, please do upgrade! There's been many changes-fixes-improvements to
gnome-terminal. If you don't upgrade, Trusty LTS's default terminal
emulator will lag behind by 3 major Gnome releases, this just doesn't
sound right.
Vte ships the /etc/profile.d/vte.sh script, to be sourced by bash/zsh.
On
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=706065
I tried to talk to doko but didn't get any traction. Perhaps someone
else could do that again or just do the upgrade as Debian did and take
the heat.
Regardless, I'm not actively planning on working on this update atm, so
I'm going to unassi
Iain was working on it in lp:~ubuntu-desktop/gnome-terminal/ubuntu and
was blocked on a bug where opening a new tab always opens in the home
directory rather than the current directory [1]. Note that Debian has
3.10 even though this behaviour has changed.
[1] https://bugzilla.gnome.org/show_bug.cg