Set the `fastdirty` option flag to off if you really want accurate reporting on whether the buffer is modified. This is more resource intensive but it can be useful for people who don't mind. Closes #787 Closes #467
7.8 KiB
Options
Micro stores all of the user configuration in its configuration directory.
Micro uses the $XDG_CONFIG_HOME/micro as the configuration directory. As per
the XDG spec, if $XDG_CONFIG_HOME is not set, ~/.config/micro is used as
the config directory.
Here are the options that you can set:
-
colorscheme: loads the colorscheme stored in $(configDir)/colorschemes/option.micro This setting isglobal only.default value:
defaultNote that the default colorschemes (default, solarized, and solarized-tc) are not located in configDir, because they are embedded in the micro binary.The colorscheme can be selected from all the files in the ~/.config/micro/colorschemes/ directory. Micro comes by default with three colorschemes:
You can read more about micro's colorschemes in the
colorshelp topic (help colors). -
colorcolumn: if this is not set to 0, it will display a column at the specified column. This is useful if you want column 80 to be highlighted special for example.default value:
0 -
eofnewline: micro will automatically add a newline to the file.default value:
false -
rmtrailingws: micro will automatically trim trailing whitespaces at eol.default value:
false -
tabsize: sets the tab size tooptiondefault value:
4 -
indentchar: sets the indentation characterdefault value:
-
infobar: enables the line at the bottom of the editor where messages are printed. This option isglobal only.default value:
on -
filetype: sets the filetype for the current buffer. This setting islocal onlydefault value: this will be automatically set depending on the file you have open
-
ignorecase: perform case-insensitive searchesdefault value:
off -
syntax: turns syntax on or offdefault value:
on -
tabstospaces: use spaces instead of tabsdefault value:
off -
tabmovement: navigate spaces at the beginning of lines as if they are tabs (e.g. move over 4 spaces at once). This option only does anything iftabstospacesis on.default value:
off -
autoindent: when creating a new line use the same indentation as the previous linedefault value:
on -
cursorline: highlight the line that the cursor is on in a different color (the color is defined by the colorscheme you are using)default value:
on -
ruler: display line numbersdefault value:
on -
statusline: display the status line at the bottom of the screendefault value:
on -
savecursor: remember where the cursor was last time the file was opened and put it there when you open the file againdefault value:
off -
saveundo: when this option is on, undo is saved even after you close a file so if you close and reopen a file, you can keep undoingdefault value:
off -
scrollmargin: amount of lines you would like to see above and below the cursordefault value:
3 -
scrollspeed: amount of lines to scroll for one scroll eventdefault value:
2 -
softwrap: should micro wrap lines that are too long to fit on the screendefault value:
off -
splitRight: when a vertical split is created, should it be created to the right of the current split?default value:
on -
splitBottom: when a horizontal split is created, should it be created below the current split?default value:
on -
autosave: micro will save the buffer every 8 seconds automatically. Micro also will automatically save and quit when you exit without asking. Be careful when using this feature, because you might accidentally save a file, overwriting what was there before.default value:
off -
pluginchannels: contains all the channels micro's plugin manager will search for plugins in. A channel is simply a list of 'repository' json files which contain metadata about the given plugin. See thePlugin Managersection of thepluginshelp topic for more information.default value:
https://github.com/micro-editor/plugin-channel -
pluginrepos: contains all the 'repositories' micro's plugin manager will search for plugins in. A repository consists of arepo.jsonfile which contains metadata for a single plugin.default value:
-
useprimary(only useful on Linux): defines whether or not micro will use the primary clipboard to copy selections in the background. This does not affect the normal clipboard using Ctrl-C and Ctrl-V.default value:
on -
keepautoindent: when using autoindent, whitespace is added for you. This option determines if when you move to the next line without any insertions the whitespace that was added should be deleted. By default the autoindent whitespace is deleted if the line was left empty.default value:
off -
termtitle: defines whether or not your terminal's title will be set by micro when opened.default value:
off -
mouse: whether to enable mouse support. When mouse support is disabled, usually the terminal will be able to access mouse events which can be useful if you want to copy from the terminal instead of from micro (if over ssh for example, because the terminal has access to the local clipboard and micro does not).default value:
on -
fileformat: this determines what kind of line endings micro will use for the file. Unix line endings are just\n(lf) whereas dos line endings are\r\n(crlf). The two possible values for this option areunixanddos. The fileformat will be automatically detected and displayed on the statusline but this option is useful if you would like to change the line endings or if you are starting a new file.default value:
unix -
fastdirty: this determines what kind of algorithm micro uses to determine if a buffer is modified or not. Whenfastdirtyis on, micro just uses a booleanmodifiedthat is set totrueas soon as the user makes an edit. This is fast, but can be inaccurate. Iffastdirtyis off, then micro will hash the current buffer against a hash of the original file (created when the buffer was loaded). This is more accurate but obviously more resource intensive. This option is only for people who really care about having accurate modified status.default value:
on
Default plugin options:
-
autoclose: Automatically close{}()[]""''. Provided by theautocloseplugindefault value:
on -
linter: Automatically lint when the file is saved. Provided by thelinterplugindefault value:
on -
ftoptions: by default, micro will set some options based on the filetype. At the moment, micro will use tabs for makefiles and spaces for python files regardless of your settings. If you would like to disable this behavior turn this option off.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 machine, simply copy the settings.json to the other machine.
Global and local settings
You can set these settings either globally or locally. Locally means that the setting
won't be saved to ~/.config/micro/settings.json and that it will only be set in
the current buffer. Setting an option globally is the default, and will set the option
in all buffers.
The colorscheme option is global only, and the filetype option is local only. To
set an option locally, use setlocal instead of set.
In the settings.json file you can also put set options locally by specifying a glob.
Here is an example which has tabstospaces on for all files except Go files, and
tabsize 4 for all files except Ruby files:
{
"*.go": {
"tabstospaces": false
},
"*.rb": {
"tabsize": 2
},
"tabstospaces": true,
"tabsize": 4
}
As you can see it is quite easy to set options locally using the settings.json file.