Получите разные названия для терминала и вкладки - PullRequest
0 голосов
/ 28 мая 2020

Можно ли иметь разные названия для терминала и вкладок? Предпочтения не помогают получить разные имена. Когда я запускаю терминал с gnome-terminal --title=Module и предпочтения с добавлением начального заголовка. Он запускает терминал с заголовком «Модуль», но когда я открываю новую вкладку и переименовываю ее в «A», он не сохраняет заголовок терминала «Модуль».

Добавляет не добавляет A к начальному заголовку Module, например что моя новая вкладка будет модулем A? Есть ли что-нибудь, что мне нужно добавить в заголовок при его запуске, вместо того, чтобы переименовывать все вкладки снова и снова.

...