我已经为 gedit 配置了一些插件，但是升级到 13.10 后，每次我进入 gedit 插件并尝试加载外部工具时，都会收到一条消息：加载失败。
不确定如何修复。尝试重新安装，但没有帮助
答案1
正如所写这里，尝试安装 gir1.2-gtksource-3.0。对我来说，它有效。
sudo apt-get install gir1.2-gtksource-3.0
答案2
我安装了软件包 gir1.2-gtksource-3.0，但是外部工具管理器不起作用，我不得不更改此目录的权限：
sudo chown <username> /home/<username>/.config/gedit