Як перейменувати назву вкладки терміналу в gnome-terminal?

70

Використовується для того, щоб можна було клацнути правою кнопкою миші на вкладці та змінити назву. Не знаю, як це зробити вже. Щойно оновлено до Fedora 21.

EDIT: Я перейшов з gnome-терміналу в ROXterm

gnome-terminal

— пеннер
джерело

108

Створіть функцію в ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Потім за допомогою нової команди встановіть назву терміналу. Він також працює з пробілами в назві

set-title my new tab title

Можна згодом використовувати set-titleзнову (оригінальний PS1 зберігається як ORIG).

— Вестон Гангер
джерело

32

user titleКод був видалений ¹ з gnome-terminal 3.14. Щоб встановити заголовок, ви можете використовувати послідовність втечі:

printf "\e]2;YOUR TITLE GOES HERE\a"

або, наприклад, з bash:

PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'

^{1: див. Gnome bug 724110 та gnome bug 740188 .}

— don_crissti
джерело

9

Дякуємо за посилання на дискусії. Я здогадуюсь, відповідь на це була НІ. Кумедна цитата з одного з посилань: "сучасні користувачі не використовують термінали". ЛОЛ.

— penner

Це не працює для мене: Fedora 21, Bash 3.14.3.

— kdbanman

Він працює на fc22 також ..

— Баладжи Perumal

3

Мабуть, він повертається ... "Так вибачте, опція --title відновлюється в GNOME 3.20 (випуск березня 2016 року), який ми випустили півроку тому, але Ubuntu 16.04 постачався з GNOME 3.18 (вересень 2015 року випуску), який видалили цю опцію. " Майкл Катандзаро 2016-09-01 18:41:45 UTC коментар №31 (від другої помилки, 740188)

— мудрець

1

@sage - немає функції, коментар Майкла є щодо --titleваріанту, який я можу підтвердити, що він справді був відновлений. Однак питання Q тут стосується параметра правої кнопки миші, щоб перейменувати відкриту в даний час вкладку - інша проблема ...

— don_crissti

18

Нові версії gnome-терміналу просто відкинули найбільш корисні професійні функції. :-(

Я спробував налаштувати і отримати старішу версію запуску gnome-terminal, а також порівняв альтернативи.

Якщо terminatorдля вас занадто екзотично, mate-terminalце чудовий варіант! Це виделка gnome-терміналу і просто зберігає всі хороші функції:

ви можете відкрити кілька вкладок з командного рядка, надаючи їм різні назви
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
Ви можете встановити комбінацію клавіш (я використовую Ctrl + Shift- i ) для встановлення в i tle

— geekQ
джерело

Гуаке теж не поганий варіант

— Буник

1

Коли ви запускаєте резидентну програму на кшталт top або ssh, вкладка буде правильно позначена.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"

— fastrizwaan
джерело

1

Якщо ви використовуєте Ubuntu 16.04, вам може знадобитися:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Я перелічу це більш детальну інформацію про це за посиланням .

— Зак Пфеффер
джерело

0

помістіть це в .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

— Позначити
джерело

0

Як розширення на відповідь @Weston Ganger, якщо ви хочете автоматично встановити заголовок після відкриття нового терміналу Gnome, додайте це в нижній частині вашого ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Потім запустіть термінал, як:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

і він автоматично запуститься, set-titleщоб застосувати заголовок.

— Серін
джерело

0

рішення одного рядка, додайте наступний рядок у свій .bashrc

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

тепер введіть tab_name в терміналі, тобто

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Зроблено

— Суфьян
джерело