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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
