Antworten:
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. Es funktioniert auch mit Leerzeichen im Namen
set-title my new tab title
Eine spätere Verwendung ist möglich set-title
(die ursprüngliche PS1 bleibt erhalten als ORIG
).
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
:
PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'
1: Siehe Gnomenkäfer 724110 und Gnomenkäfer 740188 .
--title
Option, die ich bestätigen kann, dass sie tatsächlich wiederhergestellt wurde. Das Q hier handelt jedoch von der Rechtsklick-Option zum Umbenennen des aktuell geöffneten Tabs - ein anderes Problem ...
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 auch Alternativen verglichen.
Wenn terminator
es Ihnen zu exotisch ist, mate-terminal
ist dies eine großartige Option! Es ist eine Abzweigung des Gnome-Terminals und behält einfach alle guten Eigenschaften:
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 (ich verwende Strg + Shift- einrichten i ) einzustellen , bei i TLE
Wenn Sie ein residentes Programm wie top oder ssh ausführen, ist die Registerkarte ordnungsgemäß beschriftet.
gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"
Wenn Sie Ubuntu 16.04 verwenden, müssen Sie möglicherweise:
PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"
Ich liste dies und mehr Infos dazu unter link .
Gib dies in .bashrc ein:
function title() {
p1='echo -ne "\033]0;'
p2='\007"'
PROMPT_COMMAND=$p1$@$p2
p1=
p2=
}
Wenn Sie als Erweiterung der Antwort von @Weston Ganger beim Öffnen eines neuen Gnome-Terminals automatisch einen Titel festlegen möchten, fügen Sie diesen unten in Ihre Liste ein ~/.bashrc
:
if [ ! -z "$SET_TITLE" ]; then
set-title $SET_TITLE;
export SET_TITLE=;
fi
Dann starte ein Terminal wie:
gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'
und es wird automatisch ausgeführt set-title
, um den Titel anzuwenden.