Micro settings ~/.config/micro/settings.json

settings.json

{
    "clipboard": "internal",
    "colorscheme": "monokai",
    "diffgutter": true,
    "ft:unknown": {
        "filetype": "shell"
    },
    "hlsearch": true,
    "keepautoindent": true,
    "mouse": false,
    "savecursor": true,
    "tabsize": 2,
    "tabstospaces": true
}