install plugin from file

[nickreserved]

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?

[nickreserved]

Sorry. It is well documented.

[Therrk]

I've been trying to find this for a while, where?

[zyedidia]

The plugin documentation (https://github.com/zyedidia/micro/blob/master/runtime/help/plugins.md#plugins) explains that plugins are placed in ~/.config/micro/plug/plugin-name. All the plugin manager does is download a zip file from the internet and unzip it to ~/.config/micro/plug, so you can do this manually as well (or even manage your plugins using a separate program like git, or something custom).