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ń?

bash gnome ubuntu-11.04 gnome-terminal Szlifierka
źródło

Odpowiedzi:

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