-
Notifications
You must be signed in to change notification settings - Fork 209
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
Migrate PLUGS to space config #1042
Comments
Perhaps drop the Plugs: Add command... ? |
Proposal:
Potential problem: there is another way to write a list in YAML:
But I think this can also be handled reasonably if the inserting is done on the YAML as a parsetree instead of just adding a line |
I think this makes sense. The only nasty thing is you probably want to update YAML without rewriting it (e.g. so that comments get lost, reformat everything). For the PLUGS file the whole plug list was always rewritten when using |
New idea: the Because of that, I'm back to the idea that the command should edit the PLUGS page, even if they can be loaded from anywhere, updated the #1042 (comment) |
Finally got around to finishing this in #1122
This behaviour is separated into |
Having a separate PLUGS file for maintaining what plugs to activate made sense at the time. But by now we have a pretty robust alternative with space config and should just move to that.
This can be done in a backwards compatible way by supporting both, with space config becoming the new way.
To figure out: how to implement Plugs: Add, which currently updates your PLUGS file automatically.
The text was updated successfully, but these errors were encountered: