Чтобы изменить терминал по умолчанию в Linux, вы можете попробовать следующие методы:
Метод 1: использование команды update-alternatives
sudo update-alternatives --config x-terminal-emulator
Эта команда выводит список доступных эмуляторов терминала, установленных в вашей системе, и позволяет вам выбрать эмулятор по умолчанию, выбрав соответствующий номер.
Способ 2: изменение файла ~/.bashrc
echo "export TERMINAL=gnome-terminal" >> ~/.bashrc
Замените «gnome-terminal» на желаемый эмулятор терминала по вашему выбору. После добавления этой строки в файл .bashrcперезапустите терминал или запустите source ~/.bashrc, чтобы изменения вступили в силу.
Метод 3: изменение файла ~/.bash_profile
echo "export TERMINAL=gnome-terminal" >> ~/.bash_profile
И снова замените «gnome-terminal» на предпочтительный эмулятор терминала. После добавления этой строки в файл .bash_profileперезапустите терминал или запустите source ~/.bash_profile, чтобы изменения вступили в силу.
Метод 4. Использование команды update-alternatives с sudo
sudo update-alternatives --config x-terminal-emulator
Эта команда позволяет вам выбрать эмулятор терминала по умолчанию из доступных вариантов, используя привилегии root.