** Attachment added: "Crash report in gnome-terminal" http://librarian.launchpad.net/6462917/_usr_bin_gnome-terminal.ck5xSq.crash -- gnome-terminal crash after trying to change the current profile https://launchpad.net/bugs/85913