Actions
最適化 #620
closedプラグインディレクトリの統廃合
Start date:
2013-10-17
Due date:
% Done:
0%
プラグイン名:
Description
/plugin/ を廃止し、/core/plugin/ を /plugin/ に全て移動することを中心に、プラグインディレクトリの再編成について考える。
この移動をすることで得られると考えられるメリットは以下の通り。
- pluginはcoreではないので、既存のディレクトリ構成は意味的におかしい。この変更によりcoreとpluginがディレクトリ上でも分かれる。
- 現在のplugin/は、パッケージメンテナが各々のディストリの標準環境にあったプラグインをインストールして配布するために用意されているが、全く活用されていない。そのようなニーズもほぼないし、あったとしても標準プラグインに混ぜて再配布してもらうことにこれといったデメリットがない。
- 似たようなディレクトリが二つあることになり、管理が煩雑になる。 #617 で指摘されたようなミスが発生するリスクがある。
また同様の問題として /core/skin/(複数のプラグインのための情報が入っている), /core/mui/(Gtkプラグインの内容), /core/miku(ライブラリの一つ)がある。これはやるとしても別チケットになるが、本件の対応の範疇でこれが問題になることがあれば同時に取り扱う。
Related issues
Updated by toshi_a 初音 over 10 years ago
- Target version changed from 3.0.0 to 3.1.0
Updated by toshi_a 初音 almost 5 years ago
- Target version changed from 3.1.0 to 4.0
Actions