外部からダウンロードしたプラグインをどこに置くべきかについて、少し混乱しています。私はそれらを入れてみました:
/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」プラグインにインストールしようとしています。