推荐的mutli标签终端

Question

我使用Ubuntu 18默认设置与GNOME终端。我可以做New，但我没有找到一种方法来命名/标题一个现有的选项卡:终端菜单中没有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，并且在许多看起来支持从GUI重命名选项卡的人中，只有guake和termit(我尝试过的一些是不稳定的，或者输出了一堆东西给stderr，不想使用类似于术语和终止符)。

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

1. 是否有一种方法可以从命令行设置现有制表符的GNOME终端选项卡标题，而不需要这样神秘的转义字符序列(如https://askubuntu.com/a/22417/738406所示)
2. 是否有一个更好的终端模拟器(至少与GNOME终端一样好，但也支持从GUI中执行#1和设置选项卡标题？)

Answer 1

当gnome终端停止允许标签命名时，我感到非常沮丧。我的解决方案是创建一个存储在我的.bash_functions文件中的函数，该文件由我的.bash_profile提供。这就是这个功能：

函数tabname() { newName="$1“提示符_ -ne =‘echo-ne”\033]0；$newName\007“}

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

表名"myTab“