如果我这样做
gnome-terminal --profile=NEW_PROFILE
它确实会更改为新配置文件,但会打开一个新窗口。但我希望它更改当前选项卡的配置文件,而不是弹出新窗口。
如果我按照建议的那样通过 GUIgnome 文档
单击要更改配置文件的选项卡终端的选项卡。
选择终端 ▸ 更改配置文件 ▸ 配置文件名称。
它运行得很好。
只是想知道为什么没有与此等效的命令行。
如果我这样做
gnome-terminal --profile=NEW_PROFILE
它确实会更改为新配置文件,但会打开一个新窗口。但我希望它更改当前选项卡的配置文件,而不是弹出新窗口。
如果我按照建议的那样通过 GUIgnome 文档
单击要更改配置文件的选项卡终端的选项卡。
选择终端 ▸ 更改配置文件 ▸ 配置文件名称。
它运行得很好。
只是想知道为什么没有与此等效的命令行。