From f80af4670f2c1fd95d4296f8ebf0e55b2b1ae5d9 Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Thu, 5 May 2016 12:56:52 -0400 Subject: [PATCH] Add options to help text --- runtime/help/help.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/runtime/help/help.md b/runtime/help/help.md index eb550ae2..c89c8e68 100644 --- a/runtime/help/help.md +++ b/runtime/help/help.md @@ -195,6 +195,23 @@ Here are the options that you can set: default value: `on` +--- + +Default plugin options: + +* `linter`: lint languages on save (supported languages are C, D, Go, Java, + Javascript, Lua). Provided by the `linter` plugin. + + default value: `on` + +* `goimports`: Run goimports on save. Provided by the `go` plugin. + + default value: `off` + +* `gofmt`: Run gofmt on save. Provided by the `go` plugin. + + default value: `on` + Any option you set in the editor will be saved to the file ~/.config/micro/settings.json so, in effect, your configuration file will be created for you. If you'd like to take your configuration with you to another