Bearbeiten: In einer anderen Antwort ging es darum, den Titel des Terminals zu ändern, nicht einen Tab, aber tatsächlich beantworten sie auch meine Frage. Alles ist großartig.
Ich bin ein Neuling und frage mich, wie ich einer Terminaltab-Instanz einen bestimmten Namen geben kann?
Hier ein Beispiel meiner Frage:
Derzeit habe ich nur wenig Wissen über das Ubuntu-System. Danke
Antwort1
Ich habe dafür mal eine Funktion geschrieben.
setTitle() {
echo -e "\033]0;$@\007"
}
Alternativ könnte man verwenden
"\033]0;$@\a"
Wenn Sie dies in Verbindung mit der Variable PROMPT_COMMAND ~/.bashrcoder der Variable PS1 verwenden, können Sie etwa Folgendes tun:
PS1="$PS1$(setTitle $(date) )"
Dies bewirkt, dass thatbit jedes Mal, wenn die Eigenschaft „Neuzeichnen“ aufgerufen wird, einen Zeitstempel zum Titel des Terminals hinzufügt. So kann jede Ihrer Registerkarten einen Zeitstempel für die Ausführung des letzten Befehls haben.
$()Von dort aus können Sie anstelle von andere Befehlsformen hinzufügen date. Oder lassen Sie es einmal am Ende der Datei aufrufen, ~/.bashrcum während der gesamten Sitzung eine unveränderte Eingabeaufforderung zu haben, die jedoch für jede Registerkarte eindeutig ist.
Siehe auch: So ändern Sie den Titel der aktuellen Terminalregisterkarte nur über die Befehlszeile