在 gnome-terminal 中的配置文件之间切换的命令行

Question

我为 gnome-terminal 创建了一个新的配置文件，我可以在“隐式”配置文件和新创建的配置文件之间切换，如下图所示：

现在我想知道如何使用命令行/脚本或为此使用快捷方式在配置文件之间切换。

注意：解决方案如：

gnome-terminal --tab-with-profile=Implicit && exit 

被排除在外，因为我不想在更改配置文件的过程中关闭和打开另一个终端或获得另一个终端窗口。

Answer 1

已经有很多很棒的答案，但我想使用不需要菜单栏可见的xdotool 添加更多变体......

组合键 shift+F10 将打开一个弹出菜单（相当于右键单击终端），然后可以更改配置文件。

例如xdotool key shift+F10 r 3进入第三个配置文件

我还发现这种方法不需要为 xdotool 设置延迟（我发现这是菜单栏方法所必需的），因此它会更快一些。

我倾向于经常更改配置文件，因此我将其包装为一个函数：

function chp(){
      xdotool key --clearmodifiers Shift+F10 r $1
}

所以我可以打电话chp N切换到第 N 个配置文件。

我的设置的更多提示和特性：

• 通过向chp我的 .bashrc添加命令，我可以强制新选项卡始终切换到默认配置文件

• 我根据主机对我的 ssh 会话进行颜色编码，但我不喜欢我的 ssh 别名打开新选项卡或窗口，并且我希望在退出 ssh 时配置文件更改回默认值。我的解决方案： alias somehost="chp 2; ssh user@somehost; chp 1"

• 我给了 xdotool 标志，--clearmodifiers这样如果我碰巧拿着一个修饰键（在打开选项卡/窗口、退出 ssh 等时），它就不会干扰 xdotool。

• 我在我的个人资料名称前面加上数字，这样如果我添加一个新的，它不会因为个人资料菜单的字母顺序而改变所有其他人

Answer 2

要切换到“隐式”配置文件：

xdotool key Alt+t p Return

要切换到第二个配置文件：

xdotool key Alt+t p Down Return

xdotool 在 Ubuntu 中默认没有安装，所以必须先安装它。

当然，可以为这些命令添加自定义键盘快捷键。