В терминале у меня всегда 3 одинаковые открытые вкладки плюс другие случайные.
Было бы хорошо, если бы я мог открыть терминал с этими тремя открытыми вкладками и установить их названия.
Я старался
gnome-terminal --save-config=/home/user1/usertabs
но это не сохраняет названия, которые я установил для вкладок.
Любые идеи о том, как я мог бы сделать это?
Похоже, проблема связана с используемым профилем. Если в профиле есть
"Заголовок и команда" -> «Когда терминальные команды устанавливают свои собственные заголовки:» = Сохранить начальный заголовок
затем заголовки попадают в файл конфигурации. Вы можете изменить профиль по умолчанию или создать новый профиль.
Обратите внимание на символы, используемые в вашем заголовке !, если вы используете специальные символы, такие как / , заголовки не будут сохранены.
Я поделился именно своим опытом, у меня сегодня была такая же проблема.
Я решил эту проблему сегодня!
Этот ответ не повторяет и не противоречит принятому ответу, он дополняет существующий ответ, моя точка зрения важна для начинающих.