zyedidia / micro

A modern and intuitive terminal-based text editor

Home Page:https://micro-editor.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Update the config without closing the micro

DIMFLIX-OFFICIAL opened this issue · comments

How do I update the micro configuration without closing it?
I need this for a dynamic theme change.

OS: Arch Linux
Terminal: Kitty, Alacritty

With the v2.0.14-rc1 or master branch you should be able to edit and save micro's settings.json while running and use the reload command to apply the new changes from the settings.json.
Or you do it the interactive way by just using set colorscheme [NAME].

With the v2.0.14-rc1 or master branch you should be able to edit and save micro's settings.json while running and use the reload command to apply the new changes from the settings.json. Or you do it the interactive way by just using set colorscheme [NAME].

Is this feature just coming up?
I have version 2.0.13 installed using pacman.

Please show me an example of a reload command.

I just saw the reload command in micro -options

But unfortunately I did not understand how to use it...

Is this feature just coming up?

Upstream it's already available v2.0.14-rc1.
Most probably it will reach the distributions when the v2.0.14 is finalized. I wasn't able to find it in the AUR yet, so no one build a upstream package so far.

The reload and set commands are documented in commands.md.

Any further update necessary here?