Попробуйте запустить:
sudo update-alternatives --config x-terminal-emulator
Найдите mate-terminal в списке и введите номер рядом с ним.
Если mate-terminal отсутствует в списке, вы можете добавить его с помощью:
sudo update-alternatives --install /usr/bin/x-terminal-emulator x-terminal-emulator mate-terminal /path/to/executable 50
Где /path/to/executable - это путь, в котором находится mate-terminal.
4] Переменная $TERM не говорит вам, какой эмулятор терминала вы используете, он просто сообщает вам, какой тип эмулятора вы используете. Большинство эмуляторов - xterm.