我对应该将外部下载的插件放在哪里感到有些困惑。我试过把它们放进去:
/usr/share/gedit/plugins~/. Local/gedit/plugins~/. Gnome2/gedit/plugins/usr/lib/gedit/plugins我检查插件是否显示的方式是编辑 -> 首选项 -> 插件并查找我下载的插件(clickconfig,gedit-developer-plugins-...)。由于我没有看到任何新插件出现,我不得不假设我做错了什么。
这些都没有奏效。我有点厌倦了污染我的系统。这可能是我自己的错,因为它写在我没想到的地方。请让我知道如何正确地将外部插件添加到 Gedit。我正在运行 Ubuntu 11.10。我的 Gedit 版本是 3.2.3
编辑:
我仍然无法解决这个问题。我现在也尝试了以下文件夹,但没有奏效:
~/. Config/gedit/plugins
编辑2:
我正在尝试在“gedit-developer-plugins”和“clickconfig”插件中安装插件。
and*_*ing 13
首先,我将回答有关特定插件的问题。gedit-developer-plugins可以在官方 Ubuntu 存档中找到,我建议从那里安装它。
clickconfig,另一方面,不幸的是似乎没有被移植到 Gedit 3 并且不兼容。
更一般地,对于Gedit的3(这是在Ubuntu 11.10及以上)本地插件的安装应~/.local/share/gedit/plugins的.plugin文件必须在准确的目录,子目录也不会被扫描。例如,这是我的文件布局:
$ tree ~/.local/share/gedit/plugins/
/home/andrew/.local/share/gedit/plugins/
??? markdown-preview
? ??? __init__.py
? ??? __init__.pyc
? ??? locale
? ??? fr
? ??? LC_MESSAGES
? ??? markdown-preview.mo
??? markdown-preview.plugin
??? reSt-preview
? ??? __init__.py
? ??? __init__.pyc
??? reSt-preview.plugin
Run Code Online (Sandbox Code Playgroud)
| 归档时间: |
|
| 查看次数: |
23135 次 |
| 最近记录: |