Trying to Find micro Plugin Developers
日本ではどのくらいの人たちがmicroのプラグインに興味を持っているのだろうか。 キーワード「micro エディタ プラグイン🔗」でDuckDuckGoで検索してみたところ、以下の3人を見付けた。 (2025年7月27日現在。)
「Micro editor の Plugin Manager について（ EditorConfig Plugin の導入） #micro - Qiita🔗」の10sr🔗さんはeditorconfig-micro🔗を作ったようだ。
でも他にはmicroのプラグインは作ってないようだ。
「Microのプラグイン開発、文字列を出力する - プログラミング教材開発 - saitodev.co🔗」のinunosinsi🔗さんはmicroのプラグイン作りの解説をしている。 GitHubにはいくつかプラグインが置いてある。
「カーソル行の直前・直後に空行を挿入する micro の plugin を作った - 1日9時間寝たい🔗」のia7ck🔗さんはinsertline🔗を作ったようだ。
でも他にはmicroのプラグインは作ってないようだ。
GitHubでmicro-plugin🔗というトピックが付いているリポジトリは25件あり、以下の10人を見付けた。 (2025年7月27日現在。)
GitHubの検索で、「topic:micro language:lua🔗」で検索してみると、49件ヒットした。 このくらいなら逐次見て行ける。 28人で45リポジトリが実際にmicroのプラグインに関するものだった。 (2025年7月27日現在。)
GitHubの検索で、「language:lua micro🔗」で検索してみると、519件ヒットした。 (2025年7月27日現在。) これを逐次見ていくのは気が遠くなるので、とりあえず、あきらめる。
(続く。)