Gnome: Ändern Sie den Titel des aktuellen Terminals über die Bash-Befehlszeile

9

Ich weiß, dass es Optionen gibt, um ein neues Terminal mit einem bestimmten Titel zu starten, und dass es möglich ist, den Titel von einem Terminal über das Menü 'Terminal' -> Titel festlegen zu ändern.

Ich möchte es jedoch für ein aktuelles Terminal über die Befehlszeile ändern. Wie kann ich den Titel eines vorhandenen Gnome-Terminals über die Befehlszeile ändern ?

bash gnome ubuntu-11.04 gnome-terminal Sander
quelle

Antworten:

13

Geben Sie eine geeignete xterm-Escape-Sequenz aus.

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

Siehe auch So ändern Sie den Titel eines xterm .

Tripleee
quelle
Perfekt, das ist es! : D Danke auch für den sehr interessanten Link.
Sander
Schön, aber ist es plattformübergreifend kompatibel?
10.
1
@tripleee: Normalerweise wird empfohlen, tputBefehle zum Drucken solcher Escape-Sequenzen zu verwenden, wie in diesem exakten Duplikat erwähnt .
10.
1
@triplee Danke für die Eingabe! Ich betrachte diese Frage jedoch nicht als genaues Duplikat der von Ihnen erwähnten. Der Kontext der anderen Frage ist sehr unterschiedlich.
Sander
2
Dies scheint nicht mehr zu funktionieren
Kapad
0

Es könnte sich lohnen, KDE auszuprobieren. Es verfügt über Terminalfenster mit Registerkarten, und jede Registerkarte kann durch einfaches Klicken mit der rechten Maustaste auf die Registerkarte benannt werden.

Scott C Wilson
quelle
Vielen Dank für Ihren Vorschlag, aber ich mag Gnome immer noch :)
Sander
0

Wenn Sie den Hostnamen festlegen müssen, bei dem Sie angemeldet sind, können Sie Folgendes verwenden:

echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"
Benjamin Goodacre
quelle
0

Wenn Sie Ubuntu 16.04 verwenden, müssen Sie möglicherweise PS1 und PROMPT_COMMAND wie folgt löschen:

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

Ich habe unter Link einen Bericht darüber zusammengestellt .

Zach Pfeffer
quelle