Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update the config without closing the micro #3440

Open
DIMFLIX-OFFICIAL opened this issue Aug 22, 2024 · 4 comments
Open

Update the config without closing the micro #3440

DIMFLIX-OFFICIAL opened this issue Aug 22, 2024 · 4 comments

Comments

@DIMFLIX-OFFICIAL
Copy link

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

OS: Arch Linux
Terminal: Kitty, Alacritty

@JoeKar
Copy link
Collaborator

JoeKar commented Aug 22, 2024

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].

@DIMFLIX-OFFICIAL
Copy link
Author

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...

@JoeKar
Copy link
Collaborator

JoeKar commented Aug 22, 2024

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.

@JoeKar
Copy link
Collaborator

JoeKar commented Aug 27, 2024

Any further update necessary here?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants