Как сделать экспорт DISPLAY?

Кажется, это известная ошибка - см. здесь: https://bugs.launchpad.net/ubuntu/+source/vte/+bug/546021 и восходящую ошибку здесь https://bugzilla.gnome.org/show_bug .cgi? id = 617646

Скопировать пасту работает с Ctrl-Shift-C и -V, соответственно. В основном все соответствующие ярлыки, которые вы знаете из других приложений Gnome, могут быть применены в терминале, добавив дополнительный Shift-keypress ... Ctrl-Shift-Q для выхода, например.