From 551a068668cd08ae5025aa05eacd6eb934ca9c4b Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Fri, 13 Jun 2025 12:18:40 +0200 Subject: bootstrap: use etc/repos.in.json ... as repository configuration. We know that everything imported is not needed for the bootstrap process. Hence, by taking the description before import, we can avoid fetching unnecessary archives. --- bin/bootstrap.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/bootstrap.py') diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 6f7233a9..2a8c19c2 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -35,7 +35,7 @@ Json = Dict[str, Any] DEBUG = os.environ.get("DEBUG") -REPOS: str = "etc/repos.json" +REPOS: str = "etc/repos.in.json" MAIN_MODULE: str = "" MAIN_TARGET: str = "" MAIN_STAGE: str = "bin/just" -- cgit v1.2.3