See http://askubuntu.com/a/82010/36760 for a solution. It works in Debian 8.1.
The real bug is that Gnome Terminal should detect the conflict, and alert the user. I guess this deserves a separate bug report though. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
