Один из вариантов выбора терминала по умолчанию — это "Настройки GNOME", как показано на изображении выше, которое на прошлой неделе анонсировал разработчик Игнаций Кучински. Те из вас, кто не пользуется командной строкой достаточно часто, чтобы заботиться о том, какой терминал установлен по умолчанию в вашей системе, могут быть удивлены, узнав, что в настоящее время вы не можете изменить его через графический интерфейс. Если вы зайдете в "Настройки" > "Приложения" > "Приложения по умолчанию", вы сможете выбрать предпочитаемый веб-браузер, почтовый клиент, просмотрщик изображений и другие приложения, но вы не сможете установить эмулятор терминала по умолчанию для вашей системы. Для разработчиков отсутствие этой опции может быть неприятным. […]