![用于在 gnome-terminal 中切换配置文件的命令行](https://linux22.com/image/968625/%E7%94%A8%E4%BA%8E%E5%9C%A8%20gnome-terminal%20%E4%B8%AD%E5%88%87%E6%8D%A2%E9%85%8D%E7%BD%AE%E6%96%87%E4%BB%B6%E7%9A%84%E5%91%BD%E4%BB%A4%E8%A1%8C.png)
我为 gnome-terminal 创建了一个新的配置文件,并且我可以在“隐式”配置文件和新创建的配置文件之间切换,如下图所示:
现在我想知道如何使用命令行/脚本或使用快捷方式在配置文件之间切换。
笔记:解决方案如下:
gnome-terminal --tab-with-profile=Implicit && exit
被排除,因为我不想在更改配置文件的过程中关闭并打开另一个终端或获取另一个终端窗口。
答案1
已经有很多很好的答案,但我想使用 xdotool 添加一个变体不需要菜单栏清晰可见……
组合键 shift+F10 将打开一个弹出菜单(相当于在终端上单击鼠标右键),然后可以从那里更改配置文件。
例如xdotool key shift+F10 r 3
获取第三个个人资料
我还发现这种方法不需要为 xdotool 设置延迟(我发现这对于菜单栏方法来说是必要的),因此速度更快一些。
我倾向于经常更改配置文件,因此我将其包装到一个函数中:
function chp(){
xdotool key --clearmodifiers Shift+F10 r $1
}
所以我只需打电话即可chp N
切换到第 N 个配置文件。
关于我的设置的一些提示和特性:
通过向我的 .bashrc 添加
chp
命令,我可以强制新选项卡始终切换到默认配置文件我根据主机对 ssh 会话进行颜色编码,但我不喜欢使用 ssh 别名打开新选项卡或窗口,并且我希望在退出 ssh 时配置文件恢复为默认设置。我的解决方案:
alias somehost="chp 2; ssh user@somehost; chp 1"
我给 xdotool 添加标志
--clearmodifiers
,这样如果我碰巧按住修饰键(打开选项卡/窗口、退出 ssh 等时),它就不会干扰 xdotool。我在个人资料名称前加上数字,这样如果我添加一个新的,它不会因为个人资料菜单的字母顺序而移动所有其他的
答案2
要切换到“隐式”配置文件:
xdotool key Alt+t p Return
要切换到第二个配置文件:
xdotool key Alt+t p Down Return
xdotool
在 Ubuntu 中默认未安装,因此必须先安装它。
当然,这些命令可以添加了自定义键盘快捷键。
答案3
答案4
根据您的目的,您可能会发现此脚本很有用: https://github.com/xyrix/gnome-terminal-profile-switcher
它执行一种猴子补丁并为每个终端生成一个新的配置文件,然后设置一些环境变量来公开一个程序,用于切换当前终端的配置文件主题。
希望示例 safe_ssh 脚本能够说明一切 :-)。我已经使用它一年多了,它帮助我没有破坏公司的实时数据库 ^_^