Project

General

Profile

Actions

最適化 #620

closed

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

Added by toshi_a 初音 almost 11 years ago. Updated almost 5 years ago.

Status:
終了
Priority:
通常
Target version:
Start date:
2013-10-17
Due date:
% Done:

0%

プラグイン名:

Description

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

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

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


Related issues

Related to バグ #617: Gemfileの読み込みパスに${MIKUTTER_DIR}/pluginディレクトリを追加したい終了toshi_a 初音Actions
Actions #1

Updated by toshi_a 初音 over 10 years ago

  • Target version changed from 3.0.0 to 3.1.0
Actions #2

Updated by toshi_a 初音 almost 5 years ago

  • Target version changed from 3.1.0 to 4.0
Actions #3

Updated by toshi_a 初音 almost 5 years ago

  • Status changed from 新規 to 終了

merged.

Actions

Also available in: Atom PDF