Почему-то в среде gnome-terminal не установлен в качестве дефолтного. Решил исправить, залез в настройки:
Параметры системы -> Системная информация -> Приложения по умолчанию.
О горе, есть категории «веб», «почта», «календарь», «музыка», «видео», «фото», но нету категории «терминал».
Подскажите, где искать?