github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-16 05:47:06 +09:00
Code Issues Packages Projects Releases Wiki Activity

Make linter a default plugin once again

Browse Source
This commit is contained in:
Zachary Yedidia
2016-10-06 20:28:10 -04:00
parent 6a5879cc15
commit e563211790
5 changed files with 113 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/commands.md
View File

@@ -64,7 +64,3 @@ Here are the possible commands that you can use.
The following commands are provided by the default plugins:
* `lint`: Lint the current file for errors.
* `gofmt`: Run gofmt on the current file.
* `goimports`: Run goimports on the current file.

4
runtime/help/options.md
View File

@@ -121,6 +121,10 @@ Default plugin options:
default value: `on`
* `linter`: Automatically lint when the file is saved. Provided by the `linter` 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

3
runtime/help/plugins.md
View File

@@ -162,7 +162,8 @@ MakeCommand("foo", "example.foo", MakeCompletion("example.complete"))
# Default plugins
For examples of plugins, see the default `autoclose` plugin (stored in the normal micro core repo under `runtime/plugins/autoclose`) as well as
For examples of plugins, see the default `autoclose` and `linter` plugins
(stored in the normal micro core repo under `runtime/plugins`) as well as
any plugins that are stored in the official channel [here](https://github.com/micro-editor/plugin-channel).
# Plugin Manager