Blesk

Micro – užitečná nastavení

Micro načítá nastavení z konfiguračního souboru umístěného v ~/.config/micro/settings.json. Pokud u sebe tento soubor nevidíte, otvevřete micro a měl by se vytvořit.

Tento soubor je ve formátu JSON a takto vypadá:

{
    "klíč": "hodnota",
    "klíč2": true,
    "klíč3": false,
    ...
    "klíčN": "hodnota"
}

Konkrétně například s takovýmito hodnotami:

{
    "autoclose": true,
    "autoindent": true,
    ...
    "colorscheme": "default",
    ...
    "termtitle": false,
    "useprimary": true
}

Změna těchto nastavení se aplikuje až po opětovém otevření editoru.

Zobrazení znaku tabulátoru

Mezi řádky toho souboru by se měl vyskytovat jeden obsahující "indentchar": " ", tento přenastavte například na "indentchar": "→", v editoru poté budou tabulátory indikovány znakem .

Vkládání mezer místo tabulátoru

K tomuto slouží nastavení "tabstospaces". Po změnění na true se při zmáčknutí klávesy Tab vloží 4 mezery.

Za zmínku stojí rovněž nastavení "tabmovement", kterým je možné nastavit pohyb po 4 mezerách tak, jako by šlo o jeden znak.

Lepší barvy

Existují dvě proměnné prostředí, které mají vliv na to, jaké barvy micro zobrazuje. Těmi jsou:

Pro zkoušku nejprve zkuste spustit micro následujícím příkazem:

COLORTERM=truecolor MICRO_TRUECOLOR=1 micro

Jestliže vše proběhne v pořádku a micro se otevře s příjemnějšími barvami, pak stačí tyto proměnné prostředí nastavit v souboru ~/.bashrc na odpovídající hodnoty. Toho dočiníme přídáním těchto řádků na konec:

export MICRO_TRUECOLOR=1
export COLORTERM=truecolor

Následně je třeba zavřít a znovu otevřít terminál (resp. shell v něm běžící), nechť se nová nastavení načtou.

Ostatní

Seznam všech nastavení se nachází na adrese: https://github.com/zyedidia/micro/blob/master/runtime/help/options.md

Více o nastavení barev: https://github.com/zyedidia/micro/blob/master/runtime/help/colors.md