别名来重新命名当前的gnome-terminal

时间:2014-03-11 00:09:01

标签: linux bash terminal gnome-terminal

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

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

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

创建别名以便它起作用的代码是什么?我确信它是一个人物逃脱序列的迷宫。

额外的奖励积分,如果你可以编码,以便我可以键入类似“标题我的窗口”的东西,然后别名将当前的gnome-terminal标题为“我的窗口”。

2 个答案:

答案 0 :(得分:4)

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

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

答案 1 :(得分:0)

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

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