Как изменить заголовок gnome-terminal в Ubuntu 10

Я попытался установить свою PROMPT_COMMAND переменную:

PROMPT_COMMAND='echo -ne "\033]0;"myWindowTitle"\007"'

, но что-то меняет мою вкладку (или весь заголовок терминала) на ' user @ hostname: / current / path ', поэтому

PROMPT_COMMAND='echo -ne "\033]0;"myWindowTitle"\007" && sleep 3'

изменяет заголовок только на 3 секунды:)

9
задан installero 20 January 2012 в 13:06
поделиться