相关疑难解决方法(0)

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

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

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

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

注意:解决方案如:

gnome-terminal --tab-with-profile=Implicit && exit 
Run Code Online (Sandbox Code Playgroud)

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

command-line shortcut-keys gnome-terminal

27
推荐指数
2
解决办法
3万
查看次数