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

Update docs and readme

Browse Source
This commit is contained in:
Zachary Yedidia
2016-10-06 20:36:37 -04:00
parent e563211790
commit 6acda994e4
3 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
runtime/help/tutorial.md
View File

@@ -6,6 +6,17 @@ and use `init.lua` to configure micro to your liking.
Hopefully you'll find this useful.
### Plugins
Micro has a plugin manager which can automatically download plugins for you.
To see the plugins '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