let additional repos take precedence over built in repos
- F-Droid version (in the About screen): 1.9
In light of the recent update which reversed the order of main and archive repos on the repository list to ensure that the main repositories take precedence over the archives i noticed another thing:
When specifying additional repos via the additional_repos.xml
file in /system
like LineageOS 4 microG does, it would be desirable if these manually specified repositories would also take precedence over the repositories built into F-Droid. This would match the intuitive behavior that F-Droid already applies to repos that are added manually by the user.
Possible solution
Append the repos from additional_repos.xml
to the repository list instead of prepending them.
Would a new feature that allows manually reordeing repos and a notice about the priority order in effect be too much bloat?