him411/gl-infra-builder-FUjr
1
0
Fork 0
mirror of https://github.com/FUjr/gl-infra-builder.git synced 2025-12-16 17:15:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

gen_config support keep feeds

Browse Source
This commit is contained in:
gl-luochongjun 2022-12-13 19:52:01 +08:00
parent d1b69ca20c
commit 7e59945403
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scripts/gen_config.py
View File

@ -31,6 +31,7 @@ def usage(code: int = 0):
print(
f"""Usage: {sys.argv[0]} <profile> [options...]
keepfeeds Do not remove old feeds
clean Remove feeds before setup
list List available profiles
help Print this message
@ -238,11 +239,13 @@ if __name__ == "__main__":
if "recovery" in sys.argv:
profile = merge_profiles([ "ucentral-recovery", sys.argv[1] ], False)
elif "keepfeeds" in sys.argv:
profile = merge_profiles(sys.argv[2:])
else:
profile = merge_profiles(sys.argv[1:])
if run(["rm", "-rf", "feeds/", "package/feeds"]).returncode:
die("Failed to delete old feeds")
if run(["rm", "-rf", "feeds/", "package/feeds"]).returncode:
die("Failed to delete old feeds")
print("Using the following profiles:")
for d in profile.get("description"):