Make plugins in ~/.config/micro/plug dir override built-in plugins#3031
Merged
zyedidia merged 1 commit intomicro-editor:masterfrom Jan 17, 2024
Merged
Make plugins in ~/.config/micro/plug dir override built-in plugins#3031zyedidia merged 1 commit intomicro-editor:masterfrom
~/.config/micro/plug dir override built-in plugins#3031zyedidia merged 1 commit intomicro-editor:masterfrom
Conversation
If ~/.config/micro/plug directory contains a plugin with the same name as a built-in plugin, the expected behavior is that the user-defined plugin in ~/.config/micro/plug is loaded instead of the built-in one. Whereas the existing behavior is that the built-in plugin is used instead of the user-defined one. Even worse, it is buggy: in this case the plugin is registered twice, so its callbacks are executed twice (e.g. with the autoclose plugin, a bracket is autoclosed with two closing brackets instead of one). Fix this by ensuring that if a plugin with the same name exists in the ~/.config/micro/plug directory, the built-in one is ignored. Fixes micro-editor#3029
Member
|
With #3066 we can do the same thing for the rest of the runtime files with the same approach. 😉 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
If
~/.config/micro/plugdirectory contains a plugin with the same name as a built-in plugin, the expected behavior is that the user-defined plugin in~/.config/micro/plugis loaded instead of the built-in one.Whereas the existing behavior is that the built-in plugin is used instead of the user-defined one. Even worse, it is buggy: in this case the plugin is registered twice, so its callbacks are executed twice (e.g. with the
autocloseplugin, a bracket is autoclosed with two closing brackets instead of one).Fix this by ensuring that if a plugin with the same name exists in the
~/.config/micro/plugdirectory, the built-in one is ignored.Fixes #3029