From bb4b9967260b13fa71f53e200c604c5eab83731f Mon Sep 17 00:00:00 2001 From: Christoph Reiter Date: Fri, 1 Apr 2022 17:45:16 +0200 Subject: [PATCH] package index: remove the "all" option and default to some repo The page is getting very large and showing all packages for all repos shouldn't be a common use case. Let's filter always and default to mingw64 --- app/appconfig.py | 2 ++ app/templates/packages.html | 3 +-- app/web.py | 7 +++++-- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/app/appconfig.py b/app/appconfig.py index 0fb70e8..7eb9795 100644 --- a/app/appconfig.py +++ b/app/appconfig.py @@ -26,6 +26,8 @@ CONFIG = [ (REPO_URL + "/msys/x86_64/msys.files", "msys", "x86_64"), ] +DEFAULT_REPO = "mingw64" + VERSION_CONFIG = [] for repo in ["core", "extra", "community", "testing", "community-testing", "multilib"]: diff --git a/app/templates/packages.html b/app/templates/packages.html index 44bc14e..fed9431 100644 --- a/app/templates/packages.html +++ b/app/templates/packages.html @@ -11,12 +11,11 @@
- Repositories: + Repository: