Project

General

Profile

最適化 #620

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

Added by toshi_a 初音 almost 6 years ago. Updated over 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ディレクトリを追加したい新規2013-10-13Actions

History

#1

Updated by toshi_a 初音 over 5 years ago

  • Target version changed from 3.0.0 to 3.1.0

Also available in: Atom PDF