You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
Request to merge third-party plugin repositories into the official dmenu-extended-plugins repository.
Create an index of plugin_urls that is fetched before scanning external plugin repositories.
The text was updated successfully, but these errors were encountered:
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.
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:
The text was updated successfully, but these errors were encountered: