From 891ca0f8ca6979976d1965b1088fb2bcad19812e Mon Sep 17 00:00:00 2001 From: gl-dengxinfa Date: Thu, 29 Sep 2022 11:48:24 +0800 Subject: [PATCH] script: gen_config.py support installing packages from specific feeds --- scripts/gen_config.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/gen_config.py b/scripts/gen_config.py index 92c1489..fd93e2a 100755 --- a/scripts/gen_config.py +++ b/scripts/gen_config.py @@ -185,6 +185,13 @@ def setup_feeds(profile): packages = ["./scripts/feeds", "install" ] for package in profile.get("packages", []): + p = package.split(":") + if len(p) == 2: + run(["./scripts/feeds", "uninstall", p[0]]) + this_packages = ["./scripts/feeds", "install", "-p", p[1], p[0] ] + if run(this_packages).returncode: + die(f"Error installing packages") + continue packages.append(package) if len(packages) > 2: if run(packages).returncode: