A micro editor config
A micro editor config
**/micro/settings.json
Validate
Check your file against this schema
Opens the validator with this schema already loaded. Paste your
**/micro/settings.json and it validates in your browser — nothing is uploaded.
Reference
Fields
Generated directly from the schema, following local
$refs, to two levels of nesting.
| Field | Type | Description |
|---|---|---|
autoindent | boolean | Whether to use the same indentation as a previous line https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
autosave | integer | A delay between automatic saves https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: 0 |
autosu | boolean | Whether attempt to use super user privileges https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
backup | boolean | Whether to backup all open buffers https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
backupdir | string | A directory to store backups https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "" |
basename | boolean | Whether to show a basename instead of a full path https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
clipboard | string | A way to access the system clipboard https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "external"one of: "external", "terminal", "internal" |
colorcolumn | integer | A position to display a column https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: 0 |
colorscheme | string | A color scheme https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "default"one of: "atom-dark", "bubblegum", "cmc-16", "cmc-tc", "darcula", "default" … (+19) |
cursorline | boolean | Whether to highlight a line with a cursor with a different color https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
diffgutter | boolean | Whether to display diff inticators before lines https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
divchars | string | Divider chars for vertical and horizontal splits https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "|-" |
divreverse | boolean | Whether to use inversed color scheme colors for splits https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
encoding | string | An encoding used to open and save files https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "utf-8" |
eofnewline | boolean | Whether to add a missing trailing new line https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
fastdirty | boolean | Whether to use a fast algorithm to determine whether a file is changed https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
fileformat | string | A line ending format https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "unix"one of: "unix", "dos" |
filetype | string | A filetype for the current buffer https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "unknown" |
hlsearch | boolean | Whether to highlight all instances of a searched text after a successful search https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
incsearch | boolean | Whether to enable an incremental search in `Find` prompt https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
ignorecase | boolean | Whether to perform case-insensitive searches https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
indentchar | string | An indentation character https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: " " |
infobar | boolean | Whether to enable a line at the bottom where messages are printed https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
keepautoindent | boolean | Whether add a whitespace while using autoindent https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
keymenu | boolean | Whether to display nano-style key menu at the bottom https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
matchbrace | boolean | Whether to underline matching braces https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
mkparents | boolean | Whether to create missing directories https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
mouse | boolean | Whether to enable mouse support https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
paste | boolean | Whether to treat characters sent from the terminal in a single chunk as a paste event https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
parsecursor | boolean | Whether to extract a line number and a column to open files with from file names https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
permbackup | boolean | Whether to permanently save backups https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
pluginchannels | string | A file with list of plugin channels https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "https://raw.githubusercontent.com/micro-editor/plugin-chann… |
pluginrepos | array<string> | Plugin repositories https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: [] |
readonly | boolean | Whether to forbid buffer editing https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
rmtrailingws | boolean | Whether to remove trailing whitespaces https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
ruler | boolean | Whether to display line numbers https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
relativeruler | boolean | Whether to display relative line numbers https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
savecursor | boolean | Whether to save cursor position in files https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
savehistory | boolean | Whether to save command history between closing and re-opening editor https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
saveundo | boolean | Whether to save undo after closing file https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
scrollbar | boolean | Whether to save undo after closing file https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
scrollmargin | integer | A margin at which a view starts scrolling when a cursor approaches an edge of a view https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: 3 |
scrollspeed | integer | Line count to scroll for one scroll event https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: 2 |
smartpaste | boolean | Whether to add a leading whitespace while pasting multiple lines https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
softwrap | boolean | Whether to wrap long lines https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
splitbottom | boolean | Whether to create a new horizontal split below the current one https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
splitright | boolean | Whether to create a new vertical split right of the current one https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
statusformatl | string | Format string of left-justified part of the statusline https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "$(filename) $(modified)($(line),$(col)) $(status.paste)|… |
statusformatr | string | Format string of right-justified part of the statusline https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "$(bind:ToggleKeyMenu): bindings, $(bind:ToggleHelp): help" |
statusline | string | Whether to display a status line https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "sudo" |
sucmd | string | A super user command https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: "sudo" |
syntax | boolean | Whether to enable a syntax highlighting https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
tabmovement | boolean | Whether to navigate spaces at the beginning of lines as if they are tabs https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
tabhighlight | boolean | Whether to invert tab character colors https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
tabreverse | boolean | Whether to reverse tab bar colors https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
tabsize | integer | A tab size https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: 4 |
tabstospaces | boolean | Whether to use spaces instead of tabs https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
useprimary | boolean | Whether to use primary clipboard to copy selections in the background https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: true |
wordwrap | boolean | Whether to wrap long lines by words https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
xterm | boolean | Whether to assume that the current terminal is `xterm` https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options default: false |
Audit
What we found in this schema
- Declared draft: draft-07
- Validates cleanly against its own meta-schema.
- 60 properties, 100% carrying a description, max nesting depth 4.
Standards
Specification sections for the keywords in this schema
| Keyword | Document | Section |
|---|---|---|
$comment | JSON Schema Core, draft 2020-12 | §8.3 — Comments With "$comment" |
$id | JSON Schema Core, draft 2020-12 | §8.2.1 — The "$id" Keyword |
$schema | JSON Schema Core, draft 2020-12 | §8.1.1 — "$schema" |
additionalProperties | JSON Schema Core, draft 2020-12 | §10.3.2.3 — "additionalProperties" |
default | JSON Schema Validation, draft 2020-12 | §9.2 — "default" |
description | JSON Schema Validation, draft 2020-12 | §9.1 — "title" and "description" |
enum | JSON Schema Validation, draft 2020-12 | §6.1.2 — "enum" |
minimum | JSON Schema Validation, draft 2020-12 | §6.2.4 — "minimum" |
properties | JSON Schema Core, draft 2020-12 | §10.3.2.1 — "properties" |
type | JSON Schema Validation, draft 2020-12 | §6.1.1 — "type" |
Documents
- JSON Schema Core, draft 2020-12 — JSON Schema: A Media Type for Describing JSON Documents, A. Wright, H. Andrews, B. Hutton, G. Dennis, Eds., 2022. draft-bhutton-json-schema-01. An expired Internet-Draft with no formal standing in the IETF standards process; it is nonetheless the specification of record for JSON Schema 2020-12, published by json-schema.org.
- JSON Schema Validation, draft 2020-12 — JSON Schema Validation: A Vocabulary for Structural Validation of JSON, A. Wright, H. Andrews, B. Hutton, Eds., 2022.
- RFC 8259 (STD 90) — The JavaScript Object Notation (JSON) Data Interchange Format, T. Bray, Ed., 2017. The format a schema describes.
- RFC 6901 — JavaScript Object Notation (JSON) Pointer. Defines the pointer syntax used by $ref fragments and the ~0 / ~1 escapes.
Source
Attribution
This schema comes from SchemaStore, distributed under the Apache License 2.0. Copyright 2015–present Mads Kristensen and contributors. View the original file. The field table and audit on this page are generated by JSONTools.tools; the schema itself is unmodified.