[Feature request] Plugin install option

[mdziczkowski]

I wanted to request a option that would allow to install plugins from the level if both: cli and editor

Currently, there are only options to:

• update
• remove
• search
• list

plugins, but none to install them

[taconi]

This option already exists, through the CLI you install the plugin with micro -plugin install 'pl' where 'pl' is the name of the plugin (just type micro -plugin to see help) and through the editor you enter the command bar with Ctrl-e and installs your plugin with the command plugin install 'pl'.

[mdziczkowski]

Thanks. I had proposed it brcause it was not mentioned in the manual

[taconi]

The plugins you can install are on the official plugins channel.

It basically lists the plugins but you can list other plugins that are not there to install with the micro.

You can do this in two ways:

The first way is to put the repo.json file link (to see more about plugins and repo.json see this) in the pluginrepos field in the settings file:

{
    "pluginrepos": [
        "https://codeberg.org/micro-plugins/manager/raw/branch/main/repo.json"
    ]
}

The second way is to add another plugin channel besides the official one. You put the file link in the pluginchannels.

{
    "pluginchannels": [
        "https://codeberg.org/micro-plugins/plugin-channel/raw/branch/main/channel.json"
    ]
}

I don't know if there are other plugin channels besides this one.

[JoeKar]

It was and is documented for a while now. So we can close this issue.

[mdziczkowski]

Thanks 👍