Я помню, что в gnome-terminal использовалась опция установки ярлыков в меню Edit. Я обновился до ubuntu 13.10 и установил gnome3, и я попытался сделать ярлыки для gnome-терминала, специально для установки заголовка для вкладки в терминале.
Итак, как я могу это сделать? [!d1 ]
Установите xttitle (sudo apt-get install xttitle) (обратите внимание на два «t»), прочитайте man xttitle и используйте его.
xttitle "This is my title"