zyedidia
Implementation of Quoter-Plugin
Feature request:
Could you please implement the Quoter-Plugin by default, perhaps with an option like "quoter true/false"?
This would be great, I find it a very useful plugin, it's right out of way and works exactly as you would expect it to do.
(But whenever I installed it (micro -plugin install quoter) the plugin breaks my $MICRO_CONFIG_HOME/settings.json. After installing it, whenever I want to edit the settings.json directly micro says: The file on disk has changed, reload? No answer changes anything.)
I use the actual Micro-Version, installed by downloading the .deb and then apt install directly.
Micro Version: 2.0.11 Commit hash: 225927b9 OS: Debian 11 Terminal: Lxterminal
(But whenever I installed it (micro -plugin install quoter) the plugin breaks my $MICRO_CONFIG_HOME/settings.json. After installing it, whenever I want to edit the settings.json directly micro says: The file on disk has changed, reload? No answer changes anything.)
This problem is not just with quoter but with any plugin that registers its own options. (For instance quoter registers quoter.enable option.) Actually it doesn't modify the contents of settings.json, it just needlessly rewrites it with the same contents every time.
I've created an issue for it: https://github.com/zyedidia/micro/issues/2647
Thanks for the explaining, so should I just ignore it (I have removed the quoter)? It made me a little nervous to always read this...
Probably yes, it's safe to just ignore it. But it's definitely worth fixing in micro, I believe.
I found a temporary solution for me, by commenting out
-- config.RegisterCommonOption("quoter", "enable", true)
the settings.json is not rewritten.
The setting in the quoter plugin did not change anything anyways (at least in my case).
