Настройка терминала
Смена терминала по умолчанию
Если Вам не нравится терминал по умолчанию, и вы хотите сменить в системе его к примеру на kitty, то можно выполнить следующие команды:
shell
gsettings set org.gnome.desktop.default-applications.terminal exec kitty
gsettings set org.gnome.desktop.default-applications.terminal exec-arg -e
Информация
Аргумент запуска в Gnome по умолчанию используется -x
Но я особой разницы не заметил между -x, или -e
Однако, в конструкциях вида:
shell
Exec=pyradio
Terminal = true
Пакет может запускаться с gnome-terminal по умолчанию, что будет с вероятность 99%
Выйти из данной ситуации можно используя маленький "хак" по смене терминала по умолчанию, но это уже на решение каждого.
Для начала нужно из под пользователя root с каталога /usr/bin куда ни будь убрать, либо удалить, файл gnome-terminal, далее выполняем то, что указано ниже:
shell
su -
cd /usr/bin
ln -s kitty gnome-terminal