From 225b24f35686f9568caeff6b51925573b8907096 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marduk=20Bola=C3=B1os?= Date: Tue, 6 Oct 2020 22:55:47 +0200 Subject: [PATCH] Fixed help topic name (#1876) The help topic is called `commands` not `command` --- runtime/help/plugins.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtime/help/plugins.md b/runtime/help/plugins.md index c31b3d81..eff48d06 100644 --- a/runtime/help/plugins.md +++ b/runtime/help/plugins.md @@ -418,7 +418,7 @@ your own plugins. Micro also has a built in plugin manager which you can invoke with the `> plugin ...` command, or in the shell with `micro -plugin ...`. -For the valid commands you can use, see the `command` help topic. +For the valid commands you can use, see the `commands` help topic. The manager fetches plugins from the channels (which is simply a list of plugin metadata) which it knows about. By default, micro only knows about the official