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

Centralise management of external plugins repositories #127

Open
MarkHedleyJones opened this issue Jul 27, 2022 · 1 comment
Open

Centralise management of external plugins repositories #127

MarkHedleyJones opened this issue Jul 27, 2022 · 1 comment

Comments

@MarkHedleyJones
Copy link
Owner

Currently dmenu-extended has three urls hard-coded as indexes for plugins.
As plugins are spread over various repositories, it is hard to update those plugins to accommodate changes in this repository.
Or, in the unlikely event that some of the external urls abuse the ability to supply plugins to dmenu-extended users, they can't easily be disabled.

Options:

  1. Request to merge third-party plugin repositories into the official dmenu-extended-plugins repository.
  2. Create an index of plugin_urls that is fetched before scanning external plugin repositories.
@MarkHedleyJones
Copy link
Owner Author

MarkHedleyJones commented Aug 7, 2022

Alternative option, define the plugin repositories as a list in dmenuExtended_preferences.txt.
This could also support local path references for plugin development.

By default only the official plugin repository would be used, but users can still add their own after installation.
Additionally, people can merge their plugins into the officialy repository to make them available to all users.

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

1 participant