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

Update some docs

Browse Source
This commit is contained in:
Zachary Yedidia
2019-09-02 14:40:50 -04:00
parent 5dfaaf8856
commit b41fc10b8f
8 changed files with 59 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
runtime/help/tutorial.md
View File

@@ -8,17 +8,6 @@ Hopefully you'll find this useful.
See `> help defaultkeys` for a list an explanation of the default keybindings.
### Plugins
Micro has a plugin manager which can automatically download plugins for you. To
see the 'official' plugins, go to github.com/micro-editor/plugin-channel.
For example, if you'd like to install the snippets plugin (listed in that repo),
just press `CtrlE` to execute a command, and type `plugin install snippets`.
For more information about the plugin manager, see the end of the `plugins` help
topic.
### Settings
In micro, your settings are stored in `~/.config/micro/settings.json`, a file