☰

推荐的多选项卡终端

tag-icon • tag-icon ubuntu terminal gnome-terminal terminal-emulator
推荐的多选项卡终端

我正在使用 Ubuntu 18 默认设置和 GNOME 终端。我可以做新标签，但我找不到命名/标题的方法现存的选项卡：终端菜单中没有Set Title选项，我找不到gnome-terminal --tab --title SOMETHING在现有选项卡上进行操作的方法。目前我已经在 .bashrc 中定义了这些：

tt() { [[ -n $1 ]] && echo -ne "\e]0;$1\a" || echo Need tab title; } 
ntt() { [[ -n $1 ]] && gnome-terminal --tab --title $1 || echo Need tab title; }

我尝试过 guake，termit 和 tilix 是十几个似乎支持从 GUI 重命名选项卡的唯一一个（我尝试过的几个不稳定或输出一堆东西到 stderr，宁愿不使用 - 比如术语和终止符）。

自定义命令可以工作，但是

  1. 有没有一种方法可以从命令行设置现有选项卡的 GNOME 终端选项卡标题，而无需这种神秘的转义字符序列（如图所示https://askubuntu.com/a/22417/738406）
  2. 是否有更好的终端模拟器，即至少与 GNOME 终端一样好，但也支持执行 #1 并另外从 GUI 设置选项卡标题？

答案1

当 gnome-terminal 停止允许选项卡命名时，我感到非常沮丧。我的解决方案是创建一个存储在我的 .bash_functions 文件中的函数，该文件源自我的 .bash_profile。这就是那个函数：

function tabname() { newName="$1" PROMPT_COMMAND='echo -ne "\033]0;$newName\007"' }

您可以通过切换到要重命名的选项卡来使用它，例如“myTab”：

选项卡名称“myTab”

相关内容