
Früher konnte man mit der rechten Maustaste auf die Registerkarte klicken und den Titel ändern. Ich bin mir nicht sicher, wie das jetzt geht. Habe gerade auf Fedora 21 aktualisiert.
EDIT: Ich bin von Gnome-Terminal zu ROXterm gewechselt
Antwort1
Erstellen Sie eine Funktion in ~/.bashrc
:
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
Verwenden Sie dann Ihren neuen Befehl, um den Terminaltitel festzulegen. Dies funktioniert auch mit Leerzeichen im Namen
set-title my new tab title
Eine spätere Wiederverwendung ist möglich set-title
(Original-PS1 bleibt erhalten ORIG
).
Antwort2
Der user title
Code wurde 1 von entfernt gnome-terminal 3.14
. Um den Titel festzulegen, können Sie eine Escape-Sequenz verwenden:
printf "\e]2;YOUR TITLE GOES HERE\a"
oder zB mit bash
:
echo -ne "\033]0;YOUR TITLE GOES HERE\007"
Argumente -ne
, um echo
kein Newline-Zeichen hinzuzufügen und Escape-Sequenzen (wie etwa \033
) zu interpretieren.
1: siehe GnomFehler 724110und GnomFehler 740188.
Antwort3
Neue Versionen von Gnome-Terminal haben die hilfreichsten professionellen Funktionen einfach weggeworfen. :-(
Ich habe versucht, eine ältere Version von Gnome-Terminal einzurichten und zum Laufen zu bringen und habe auch Alternativen verglichen.
Wenn terminator
Ihnen das zu exotisch ist, mate-terminal
ist das eine tolle Option! Es ist ein Fork von Gnome-Terminal und behält alle guten Funktionen bei:
Sie können mehrere Registerkarten über die Befehlszeile öffnen und ihnen unterschiedliche Titel geben
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
Sie können eine Tastenkombination einrichten (ich verwende Strg+Umschalt-ich) aufichtle
Antwort4
Wenn Sie Ubuntu 16.04 verwenden, müssen Sie möglicherweise Folgendes tun:
PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"
Ich liste dies und weitere Informationen dazu unterVerknüpfung.