Gnome: Zmień tytuł bieżącego terminala z linii poleceń bash

9

Wiem, że istnieją opcje uruchomienia nowego terminala o określonym tytule, i można zmienić tytuł z terminala za pomocą menu: „Terminal” -> Ustaw tytuł.

Chcę jednak zmienić go dla bieżącego terminala z wiersza poleceń. Jak mogę zmienić tytuł istniejącego terminala Gnome z wiersza poleceń?

— Szlifierka
źródło

13

Wypisuje odpowiednią sekwencję ucieczki xterm

echo -ne '\033]0;New title\007'

Zobacz także Jak zmienić tytuł Xtermu .

— potrójny
źródło

Idealnie, to wszystko! : D Dziękujemy również za bardzo interesujący link.

— Sander,

Fajnie, ale czy jest kompatybilny z wieloma platformami?

— l0b0

1

@tripleee: Zwykle zaleca się używanie tputpoleceń do drukowania takich sekwencji specjalnych, jak wspomniano w tym dokładnym duplikacie .

— l0b0

1

@triplee Dzięki za wejście! Jednak nie uważam tego pytania za dokładną kopię tego, o którym wspomniałeś. Kontekst drugiego pytania jest bardzo różny.

— Sander

2

To już nie działa

— kapad

0

Warto spróbować KDE. Ma okna terminali z kartami, a każdą kartę można nazwać, klikając ją prawym przyciskiem myszy.

— Scott C. Wilson
źródło

Dziękuję za sugestię, jednak nadal lubię Gnome :)

— Sander

0

Jeśli musisz ustawić nazwę hosta, na której jesteś zalogowany, możesz użyć:

echo -ne "\ 033] 0; $ {NAZWA HOSTA} \ 007"

— Benjamin Goodacre
źródło

0

Jeśli używasz Ubuntu 16.04, może być konieczne wyczyszczenie PS1 i PROMPT_COMMAND, takich jak:

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

Złożyłem na nim napis pod linkiem .

— Zach Pfeffer
źródło