Для просмотра доступных альтернатив стандартному эмулятору терминала необходимо ввести команду:

$ update-alternatives --list x-terminal-emulator

Далее из полученного списка выбрать желаемую альтернативу и ввести команду:

# update-alternatives --set x-terminal-emulator /usr/bin/gnome-terminal