プロジェクト

全般

プロフィール

最適化 #620

完了

プラグインディレクトリの統廃合

toshi_a 初音 さんが10年以上前に追加. 約4年前に更新.

ステータス:
終了
優先度:
通常
担当者:
対象バージョン:
開始日:
2013-10-17
期日:
進捗率:

0%

プラグイン名:

説明

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

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

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


関連するチケット

関連している バグ #617: Gemfileの読み込みパスに${MIKUTTER_DIR}/pluginディレクトリを追加したい終了toshi_a 初音操作

toshi_a 初音 さんがほぼ10年前に更新

  • 対象バージョン3.0.0 から 3.1.0 に変更

toshi_a 初音 さんが約4年前に更新

  • 対象バージョン3.1.0 から 4.0 に変更

toshi_a 初音 さんが約4年前に更新

  • ステータス新規 から 終了 に変更

merged.

他の形式にエクスポート: Atom PDF