daxvena Asked: 2010-12-07 13:05:17 +0800 CST2010-12-07 13:05:17 +0800 CST 2010-12-07 13:05:17 +0800 CST 如何使用不同的配置运行 gedit 772 我想将 gedit 用作编程 IDE 和常规文本编辑器。我可以制作一些 .desktop 文件来加载不同的配置吗? configuration programming gedit startup ide 1 个回答 Voted Best Answer htorque 2010-12-07T13:29:13+08:002010-12-07T13:29:13+08:00 现在似乎不支持它,请参阅此上游错误报告。 但是,您可以为 gedit 创建一个包装器,通过 gconftool-2 设置您想要的特定插件。 这看起来像: #!/bin/bash old_config=$(gconftool-2 --get "/apps/gedit-2/plugins/active-plugins") gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "[$1]" gedit gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "$old_config" 现在将其保存在某处,例如。gedit_profile 并使其可执行: chmod +x gedit_profile 要加载不同的配置文件,只需使用逗号分隔的要启用的插件列表调用它,例如: /path/to/gedit_profile "terminal,colorpicker" [当然,您可以将其放入单独的启动器中。]
现在似乎不支持它,请参阅此上游错误报告。
但是,您可以为 gedit 创建一个包装器,通过 gconftool-2 设置您想要的特定插件。
这看起来像:
现在将其保存在某处,例如。gedit_profile 并使其可执行:
要加载不同的配置文件,只需使用逗号分隔的要启用的插件列表调用它,例如:
[当然,您可以将其放入单独的启动器中。]