我为 gnome-terminal 创建了一个新的配置文件,我可以在“隐式”配置文件和新创建的配置文件之间切换,如下图所示:
现在我想知道如何使用命令行/脚本或为此使用快捷方式在配置文件之间切换。
注意:解决方案如: gnome-terminal --tab-with-profile=Implicit && exit Run Code Online (Sandbox Code Playgroud) 被排除在外,因为我不想在更改配置文件的过程中关闭和打开另一个终端或获得另一个终端窗口。
注意:解决方案如:
gnome-terminal --tab-with-profile=Implicit && exit
被排除在外,因为我不想在更改配置文件的过程中关闭和打开另一个终端或获得另一个终端窗口。
command-line shortcut-keys gnome-terminal
command-line ×1
gnome-terminal ×1
shortcut-keys ×1