micro-editor / micro-editor/micro
Fail to Install Plugins
Open
Nobody has claimed this yet.
- Dominant language
- Go
- Stars
- 29.6k
- Forks
- 1.4k
- Avg merge
- 2d 18h
- Merged PRs (30d)
- 10
Description
Description of the problem or steps to reproduce
I failed to install any plugins. The error message is
Failed to query plugin channel:
Get "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json": dial tcp: lookup raw.githubusercontent.com: getaddrinfow: The requested name is valid, but no data of the requested type was found.
Unknown plugin "quoter"
Specifications
Version: 2.0.10
Commit hash: b9763856
Compiled on August 07, 2021
OS: Windows
Terminal: Windows Terminal/ Command Prompt
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing plugin installation on Windows using the reported version and the quoter plugin, then investigate the failed request to raw.githubusercontent.com. Done means the plugin channel can be queried and the plugin installs successfully, or the network-related failure is clearly diagnosed.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- go
- Domain
- cli
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100