无法以任何标准方式更改 gnome-terminal 选项卡标题

无法以任何标准方式更改 gnome-terminal 选项卡标题

我有两台笔记本电脑,A 和 B,操作系统相同(ubuntu 18.04)。A 上的 gnome 终端选项卡标题始终显示选项卡中的当前路径,而 B 上的 gnome 终端选项卡标题则显示我通过 和tt命令告诉它的路径ntt,我在我的另一个问题。 我努力了

echo -ne "\033]0;MY TITLE\007"'

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

gnome-terminal --title="MY TITLE HERE"

但什么都不起作用,它一直在标签标题中显示当前文件夹。而在笔记本电脑 B 上,相同的命令有效!这是一个与如何更改 Gnome-Terminal 标题?,因为上述 3 种技术均不起作用。

我记得几周前我曾摆弄过这个问题,我肯定已经设置了一些东西,每次出现新提示时都会动态更新标题,所以当我尝试 echo -ne 时,它​​会立即被覆盖。env 命令显示没有 PS1 或 PROMPT_COMMAND 已经到位。

有什么办法可以修复此问题,让 echo -ne 再次工作吗? gnome 终端是否有类似设置文件,每次启动时都会加载?

答案1

谢谢@wjandrea,你的第一条评论说得很对,第二条评论也非常接近。所以,除了我的问题中提到的 3 种技术外,你的 中可能还偷偷设置了 PS1,这对其他人来说可能很有用.bashrc。确实如此:

  1. 永远env|grep PS1不会显示PS1;而是使用echo $PS1declare -p PS1类似地PROMPT_COMMAND
  2. 一旦我使用正确的查询,我发现它PS1是用 esc 序列 0 设置的,它会在选项卡上设置标题。
  3. 然后我查看了我的.bashrc代码,果然在沃德的回答在那里;街区

    case "$TERM" in 
      xterm*...
    

    在设置标题的神奇神秘的 esc 0 序列前面加上前缀,从而阻止任何其他技术发挥作用!

  4. 取消注释允许我使用我在中提到的tt和命令ntt我以前的问题

相关内容