Workaround from bug #1722298 https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1722298/comments/10 (not tried yet)
Workaround from bug #1722298 https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-terminal/ +bug/1722298/ comments/ 10
(not tried yet)