ubuntu - 如何在 Ubuntu 10 中更改 gnome 终端标题

Question

我已经尝试设置我的 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 秒 :)

Answer 1

PROMPT_COMMAND 在根据 PS1 变量设置提示之前发出。可能你在 PS1 中有一些字符序列来设置你的窗口标题。您可以调用 unset PS1 或将其设置为其他值:

export PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

或者，您可以在 PS1 变量中设置窗口标题:

export PS1='\[\e]0;myWindowTitle\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$'