Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Is micro still accepting plugins? #74

Open
cadnza opened this issue Sep 15, 2021 · 4 comments
Open

Is micro still accepting plugins? #74

cadnza opened this issue Sep 15, 2021 · 4 comments

Comments

@cadnza
Copy link

cadnza commented Sep 15, 2021

It looks like there may be a bit of a wait between submitting a plugin to the repo and having it accepted. Is micro still merging pull requests with new plugins?

@sebkolind
Copy link

I was thinking the same. @zyedidia you have written in the README.md of micro, that it is OK to ping you, so here it goes :)

@taconi
Copy link

taconi commented Aug 30, 2022

With that in mind, I forked the repository.

Thinking about it, I forked the repository and added the plugins that were in the PR's
Just add the following line to ~/.config/settings.json:

"pluginchannels": [
     "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json",
     "https://raw.githubusercontent.com/taconi/plugin-channel/main/channel.json"
]

@taconi
Copy link

taconi commented Mar 23, 2024

The lsp plugin was added in #85, @zyedidia what would be the reason to ignore the other plugins?

@taconi
Copy link

taconi commented Mar 24, 2024

It's good to mention issue zyedidia/micro/#2956 so that whoever arrives here can know that they are trying to resolve this issue, but in a private repository outside the micro-editor org.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants