diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-26 18:27:01 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-02-26 18:29:37 +0100 |
| commit | e1ca3f62d40d557321cb8cfd28242b9203b91a2a (patch) | |
| tree | 646ba32d13b0ae2ef4b3117a80f147893fba105a /bin | |
| parent | 3100716432fe46d8aa1c37798c9b1700934f6e69 (diff) | |
| download | jenkins.debian.net-e1ca3f62d40d557321cb8cfd28242b9203b91a2a.tar.xz | |
reproducible: scheduler: use the gzip sources file instead of the xz one
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_scheduler.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_scheduler.py b/bin/reproducible_scheduler.py index c4071b76..ccc58974 100755 --- a/bin/reproducible_scheduler.py +++ b/bin/reproducible_scheduler.py @@ -10,7 +10,7 @@ # Schedule packages to be build. import sys -import lzma +import gzip import deb822 import aptsources.sourceslist from time import sleep @@ -54,9 +54,9 @@ def check_suite_avail(suite): def update_sources_tables(suite): # download the sources file for this suite mirror = 'http://ftp.de.debian.org/debian' - remotefile = mirror + '/dists/' + suite + '/main/source/Sources.xz' + remotefile = mirror + '/dists/' + suite + '/main/source/Sources.gz' log.info('Downloading sources file for ' + suite + ': ' + remotefile) - sources = lzma.decompress(urlopen(remotefile).read()).decode() + sources = gzip.decompress(urlopen(remotefile).read()).decode() log.debug('\tdownloaded') # extract relevant info (package name and version) from the sources file new_pkgs = [] |