【问题标题】:alias to retitle current gnome-terminal重命名当前 gnome-terminal 的别名
【发布时间】:2014-03-11 00:09:00
【问题描述】:

在 gnome-terminal (bash) 中,我可以运行此命令将终端的标题更改为“hello”:

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

太好了,但现在我想在 ~/.bashrc 中创建一个名为“title”的别名来运行该命令,这样我就可以打开任何终端并输入“title”并获得终端窗口的名称更改为“hello”。

创建别名以使其正常工作的代码是什么?我敢肯定这是一个字符转义序列的迷宫。

如果您可以对其进行编码,以便我可以输入类似“title My Window”之类的内容,则可以额外加分,然后别名会将当前 gnome-terminal 标题为“My Window”。

【问题讨论】:

    标签: linux bash terminal gnome-terminal


    【解决方案1】:

    关于别名的经验法则是,如果你不得不问,你应该使用一个函数来代替:

    title() {
      printf "\033]2;%s\007" "$*"
    }
    title "This is my title"
    

    【讨论】:

    • 谢谢,这为我指明了正确的方向。我已经在下面发布了完整的答案。
    【解决方案2】:

    其他人的回答有所帮助。最终可行的解决方案是将以下代码添加到 .bashrc

    function title(){
        PROMPT_COMMAND='echo -ne "\033]0;'"$1"' '"$2"' '"$3"'\007"'
    }
    export -f title
    

    【讨论】:

      猜你喜欢
      • 2013-06-28
      • 2013-06-26
      • 2019-11-10
      • 1970-01-01
      • 2019-07-26
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多