install plugin from file #2635
Unanswered
nickreserved
asked this question in
Q&A
Replies: 1 comment 2 replies
-
Sorry. It is well documented. |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
micro -plugin install filemanager
does not work for me.
It says
Failed to query plugin channel:
Get "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json": dial tcp: lookup raw.githubusercontent.com: getaddrinfow: This is usually a temporary error during hostname resolution and means that the local server did not receive a response from an authoritative server.
Unknown plugin "filemanager"
Probably something firewalled?
Can I use something like:
micro -plugin install filemanager-plugin-3.1.2.zip
???
Or the question generalized:
How to install automated or with hand, any plugin from a zip file?
Beta Was this translation helpful? Give feedback.
All reactions