From 30e1dd1766ceb4b2131abb4261edd32a18e2750f Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 10 Jan 2020 09:17:27 +0100
Subject: [PATCH] [scripts/mirror] Use repodata_from_packages.json for
establishing package contents on repo to mirror - default channel
repodata.json is not updated anymore?
---
bob/devtools/scripts/mirror.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py
index 5a3034c0..1cfb86c2 100644
--- a/bob/devtools/scripts/mirror.py
+++ b/bob/devtools/scripts/mirror.py
@@ -147,7 +147,8 @@ def mirror(
for arch in DEFAULT_SUBDIRS:
- remote_repodata = get_json(channel_url, arch, 'repodata.json.bz2')
+ remote_repodata = get_json(channel_url, arch,
+ 'repodata_from_packages.json.bz2')
logger.info('%d packages available in remote index',
len(remote_repodata.get('packages', {})))
local_packages = get_local_contents(dest_dir, arch)
--
GitLab