Терминал gnome теперь настолько сломан, что это плохая шутка. Профили сложно или невозможно управлять, редактировать или удалять.
Если я проигнорирую недавние проблемы с прозрачностью, я получу мат- терминал, наконец, работающий, сделав мои старые профили более точными. Очевидно, mate-терминал теперь использует более строгий механизм проверки ошибок и больше не работает с неопределенными именами профилей, т.е. --tab-with-profile = По умолчанию работает только в одном профиле (первый). Ваш следующий профиль должен иметь другое имя (Default2 или, например, «Серверы», как в моем примере ниже), и он должен отражаться в новом профиле пользователя. команда.
пример:
mate-terminal --tab-with-profile=Servers -t "server1" -e "ssh root@server1.domain.com -t screen -dRRS main"
--tab-with-profile=Servers -t "server2" -e "ssh root@server2.domain.com -t screen -dRRS main"
Используя более точные определения профилей и пользовательские команды в mate-терминале, я могу снова получить все свои профили и около 100 вкладок в хорошем состоянии и заново соединиться одним нажатием кнопки :)
Надо любить экранную команду -dRRS main . Это позволяет перезагрузить компьютер и вернуться к предыдущей работе одним щелчком мыши. Все вкладки вашего терминала будут такими же, как вы оставили их до перезагрузки, включая предыдущую историю команд на экране.
-Сэм