python / python/mypy

Save extra step of enabling installed plugins

オープン
#9,679 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

feature
主要言語
Python
スター
20.6k
フォーク
3.3k
PR マージ指標
PR 指標を取得中

説明

Feature

mypy should enable installed plugins by default or limit the amount of toil required to enable plugins.

Pitch

Currently, enabling a plugin requires a multi-step process:

  1. Install the plugin.
  2. Create a config file.
  3. Enable the plugin.

I imagine instead a world where:

Plugins are enabled by default

In this world, the act of installing a plugin would register a hook or entry point allowing the plugin(s) to be activated by default. In this world, the three-step process becomes a one-step process (install the plugin). One could disable the plugin by uninstalling (or not installing it in the first place) or perhaps through an additional configuration option (that presumably very few users would need).

Plugins can be enabled through the command-line

In this world, the three-step process becomes a two-step process, installing the plugin and enabling it during execution. This approach would limit the need to create mypy.ini files for small repro scripts or other impermanent actions. It would also make it more explicit what plugins are being used for a given invocation. Otherwise, to create a mypy repro that uses a plugin, a user is required to create a file so must communicate the creation of that file (and likely also clean it up after).

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

この issue にはファイル、テスト、エントリーポイントが記載されていないため、まずは3段階のプロセスで説明されている mypy の現在のプラグインのインストールおよび設定フローをたどってください。提案されている自動有効化とコマンドラインによる有効化のアプローチを比較し、そのうえで望ましい動作と設定の意味論を明確にしてください。インストール済みのプラグインを使用するために必要なセットアップを、合意したアプローチによって減らせれば完了です。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
python
領域
tooling
issue の種類
機能追加
難易度
5/5
見積もり時間
1週間以上
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
35/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。