mikutter

/plugin/ を廃止し、/core/plugin/ を /plugin/ に全て移動することを中心に、プラグインディレクトリの再編成について考える。
この移動をすることで得られると考えられるメリットは以下の通り。

1. pluginはcoreではないので、既存のディレクトリ構成は意味的におかしい。この変更によりcoreとpluginがディレクトリ上でも分かれる。
2. 現在のplugin/は、パッケージメンテナが各々のディストリの標準環境にあったプラグインをインストールして配布するために用意されているが、全く活用されていない。そのようなニーズもほぼないし、あったとしても標準プラグインに混ぜて再配布してもらうことにこれといったデメリットがない。
3. 似たようなディレクトリが二つあることになり、管理が煩雑になる。 #617 で指摘されたようなミスが発生するリスクがある。

また同様の問題として /core/skin/(複数のプラグインのための情報が入っている), /core/mui/(Gtkプラグインの内容), /core/miku(ライブラリの一つ)がある。これはやるとしても別チケットになるが、本件の対応の範疇でこれが問題になることがあれば同時に取り扱う。