Próbowałem ustawienie moja PROMPT_COMMAND zmiennej:Jak zmienić tytuł gnome-terminal w Ubuntu 10
PROMPT_COMMAND='echo -ne "\033]0;"myWindowTitle"\007"'
ale coś się zmienia moją kartę (lub cały tytuł terminal) do 'użytkownik @ host:/prąd/ ścieżka”tak
PROMPT_COMMAND='echo -ne "\033]0;"myWindowTitle"\007" && sleep 3'
zmiany tytułu dla 3 sekundy tylko :)
drobny niuans, jeśli umieścisz '' '' '' '' $ WT''', wtedy możesz zmienić zmienną WT 'na żywo', a to natychmiast zmieni twój tytuł terminala :-) –