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 ?

— Sander
quelle

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