From a41730c95d07ae1d7a58a0e7498a1d9c9b30294b Mon Sep 17 00:00:00 2001 From: Mike Hommey Date: Fri, 15 Dec 2023 09:40:46 +0900 Subject: [PATCH] Allow to override main download.py argument defaults with environment variables --- download.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/download.py b/download.py index 1bfd44409..0b9da4bbc 100755 --- a/download.py +++ b/download.py @@ -366,10 +366,14 @@ def main(args): help='only print the download url') pgroup = parser.add_mutually_exclusive_group() pgroup.add_argument('--branch', metavar='BRANCH', + default=os.environ.get("GIT_CINNABAR_DOWNLOAD_BRANCH"), help='download a build for the given branch') pgroup.add_argument('--exact', metavar='EXACT', + default=os.environ.get("GIT_CINNABAR_DOWNLOAD_EXACT"), help='download a build for the given commit') parser.add_argument('--variant', metavar='VARIANT', + default=os.environ.get( + "GIT_CINNABAR_DOWNLOAD_VARIANT"), help='download the given variant') parser.add_argument('--system', default=platform.system(), help=argparse.SUPPRESS)